Subject: Re: bug#50132: [PATCH] gnu: osinfo-db: Update to 20210809.
From: Brice Waegeneire <[email-masked]>
To: Andrew Whatson <[email-masked]>
Cc: [email-masked]
Date: Wed, 25 Aug 2021 22:08:08 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello Andrew,

Thank you for the patch, it's pushed as
26878cb3d81e75293c9f062bebde29a2afb7a2e2.

Cheers,
- Brice