@tsteur opened this Pull Request on June 18th 2020 Member

We might always support them, but also possible we remove them in say 5 years. Therefore better to document it.

This Pull Request was closed on June 18th 2020
Powered by GitHub Issue Mirror