On Tue, Jul 23, 2019 at 03:27:53PM +0200, Phil Sutter wrote: > The label is used just once and the code it points at is not reused, no > point in keeping it. Also applied, thanks.
On Tue, Jul 23, 2019 at 03:27:53PM +0200, Phil Sutter wrote: > The label is used just once and the code it points at is not reused, no > point in keeping it. Also applied, thanks.