Subject: closing

From: KatolaZ <[email-masked]>
Date: Mon, 26 Feb 2018 11:14:52 +0000

Closing, since the bug did never exist, also according to:

  https://dev1galaxy.org/viewtopic.php?id=1576