Hi Andreas,
Thanks for asking.
It’s just fine if you first post your suggestions to the mailing list. At the moment, we still prefer to create issues by our own, because it happened too frequently in the past that users were opening duplicate issues, misused the issue tracker to ask questions, or requested fixes for things that were actually correct.
If you stumble upon obvious bugs in BaseX, and if you have input that allows us to reproduce the problem (and that can ideally serve as input for JUnit test cases), you are welcome to report this via GitHub.
Cheers,
Christian
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