Revision 9da864cf7734e343dbd989304779a2fc2e3b02cd authored by Tom Fischer on 07 September 2021, 09:11:22 UTC, committed by Tom Fischer on 07 September 2021, 09:11:22 UTC
Small, unrelated fixes

See merge request ogs/ogs!3773
2 parent s 2c95db0 + 6a5c1d7
History

back to top