Skip to content
Snippets Groups Projects
Commit 5da09c2d authored by Andreas Hamacher's avatar Andreas Hamacher
Browse files

Merge branch 'ubuntu18' into 'master'

Ubuntu related changes

See merge request !435
parents 7fcfe519 6ff03d6a
No related branches found
No related tags found
1 merge request!435Ubuntu related changes
Showing
with 1301 additions and 48 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment