Revision 9dccd0b4a2f8fe08d98cfe4f37cb4a613891e6c6 authored by Lars Bilke on 23 July 2021, 08:31:31 UTC, committed by Lars Bilke on 23 July 2021, 08:31:31 UTC
[ci] Fix gui linux

See merge request ogs/ogs!3719
2 parent s 90b43df + 3b8a195
History

back to top