On Dienstag, 23. Juli 2019, 14:43:36 CEST Giovanni Santini wrote:
Anyone who can merge this? Builds have been broken for 1 month or more.
just commented it ... IMHO not the right solution
Il giorno gio 20 giu 2019 alle ore 23:43 Giovanni
<itachi.sama.amaterasu(a)gmail.com> ha scritto:
> Had some time, made a fix:
> Hope this will be merged soon.
SUSE Linux Products GmbH, Maxfeldstr. 5, 90409 Nuernberg, Germany
To unsubscribe, e-mail: opensuse-buildservice+unsubscribe(a)opensuse.org
To contact the owner, e-mail: opensuse-buildservice+owner(a)opensuse.org