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)
refs #18378
Arvados-DCO-1.1-Signed-off-by: Javier Bértoli <jbertoli@curii.com>


Trivial merge