Subject: Re: [bug#37443] [PATCH] scripts: pull: Add options for generation management

From: zimoun <[email-masked]>
Date: Thu, 19 Sep 2019 11:02:03 +0200

Hi Ludo and Konrad,
Thank you for explaining.
I got the point.

Thanks,
simon