24 Jul
2019
24 Jul
'19
07:23
On Dienstag, 23. Juli 2019, 14:43:36 CEST Giovanni Santini wrote:
Hi everyone, 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 Santini
ha scritto: ...
Had some time, made a fix: https://github.com/openSUSE/obs-build/pull/507
Hope this will be merged soon.
-- Adrian Schroeter SUSE Linux Products GmbH, Maxfeldstr. 5, 90409 Nuernberg, Germany email: adrian@suse.de -- To unsubscribe, e-mail: opensuse-buildservice+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-buildservice+owner@opensuse.org