On Mon, Feb 17, 2020 at 04:35:05PM +0100, Stephan Witt wrote: > Any comments or ok to apply? The first snippet looks fine, the second is technically correct but it might signalize that author (Juergen?) might have different logic in mind and there is some thinko in the code. Pavel