delete

Question 1

delete

Question 2

Won't fix on 1.13. Fixed on 1.15. If this is very important, feel free to PR.

Tschipp · Answer · 2020-09-06T16:38:45.000Z

Won't fix on 1.13. Fixed on 1.15. If this is very important, feel free to PR.

Question 3

Yes probably but I currently don't have the time to look at it closely, sorry.

Tschipp · Answer · 2020-05-28T07:27:23.000Z

Yes probably but I currently don't have the time to look at it closely, sorry.