Skip to content
Snippets Groups Projects
Commit fd49c3d9 authored by Georg Krause's avatar Georg Krause
Browse files

Merge branch '23-server-command' into 'master'

Fix #23: Missing server command

Closes #23

See merge request !19
parents 5813fb42 db1cfbf6
Branches
Tags 0.13
1 merge request!19Fix #23: Missing server command
Pipeline #15877 passed