Subject: Re: bug#57460: [PATCH 00/19] Refresh to specific version

From: Hartmut Goebel <[email-masked]>
Date: Mon, 26 Dec 2022 17:42:08 +0100

Hi,

Many thanks for the review. I followed your latest suggestions. and 
pushed as 7c476873e0300711bf92668cf01abd28f7295ead

-- 
Regards
Hartmut Goebel

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