Am 30.07.2018 um 20:23 schrieb Christian Grün: > I’ve created a GitHub issue for your request [1].
Thank you. On the issue tracker, it was advised, to first post such things to the mailing-list. Did I do it right, or should I have opened the issue myself, since it is a smaller request? And if so, should I have contributed the issue to the mailing-list then? I ask, because I think, that you got a lot of things to do, and opening a smaller issue may cost you, unnecessarily spent, time. -- Goody Bye, Minden jót, Mit freundlichen Grüßen, Andreas Mixich
