Merge branch '18378-add-debian-11-platform'
authorJavier Bértoli <jbertoli@curii.com>
Tue, 21 Dec 2021 12:04:01 +0000 (09:04 -0300)
committerJavier Bértoli <jbertoli@curii.com>
Tue, 21 Dec 2021 12:04:01 +0000 (09:04 -0300)
commitccc4edfa5e6328e469390a1ee1d00da46b1d61b5
treebf9d69c71cd362332fb1f199ef74b45f906bea10
parentba38271b182100a3d458b51f4f9f94a86f35ed3b
parentf71042048fef29103a138b6b27e3d7515b327077
Merge branch '18378-add-debian-11-platform'

refs #18378
Arvados-DCO-1.1-Signed-off-by: Javier Bértoli <jbertoli@curii.com>