Subject: [bug#52790] [PATCH v3 6/7] gnu: docker: Update to 20.10.15.

From: Danny Milosavljevic <[email-masked]>
Date: Tue, 17 May 2022 22:28:27 +0200

Hi Pierre,

for some reason, I only see patch 5, 6, and 7 of the series.

I reviewed patch 5 and 6 already and found it good.

I am still reviewing patch 7.