Merge pull request #2 from netromnetrom/patch-5 373/head
authornetromnetrom <35839198+netromnetrom@users.noreply.github.com>
Wed, 6 Feb 2019 10:53:54 +0000 (11:53 +0100)
committerGitHub <noreply@github.com>
Wed, 6 Feb 2019 10:53:54 +0000 (11:53 +0100)
GUACAMOLE-712


Trivial merge