>>>>> On Sat, 21 Sep 2019, Michał Górny wrote:

> That's my initial thought as well but I'm going to check them, just in
> case.  That is, unless the proposal is rejected.

Please check this, before we are going to decide on it.

Ulrich