03-14-2018, 07:17 AM
(This post was last modified: 03-14-2018, 07:18 AM by Quajak.
Edit Reason: type
)
I am wondering about what I should post here, what in the Gitter chat and what in the GitHub issues/pull requests. Is there any sort of guideline?

