Subject: Re: bug#56318: [PATCH] import: github: Fix updater.
From: Hartmut Goebel <[email-masked]>
To: Ludovic Courtès <[email-masked]>
Cc: [email-masked]
Date: Mon, 11 Jul 2022 15:36:39 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks for the review. I amended the commit-message an pushed as 
e8cd9e3d12c8c24b7c81e8787207f21e277da540

-- 
Regards
Hartmut Goebel

| Hartmut Goebel          | [email-masked]               |
| www.crazy-compilers.com | compilers which you thought are impossible |