Completed
Pull Request — develop (#1272)
by Tom
26s
created

No notable changes

There were no notable changes in the changeset which was inspected.

???
Head
Tom Klingenberg  
Merge 6e0d865e9c43261e8536067937a31ce9d21938ef into 3e526858e180413807b96ce4772e0665afbe531a
1 more commit
Base
Tom Klingenberg  
Revert "Fix ubuntu-18.04 deprecation"