@tsteur opened this Pull Request on December 11th 2016 Owner

They give even more control over the settings.
They won't need to be further documented for now.

This Pull Request was closed on December 12th 2016
Powered by GitHub Issue Mirror