Am 08.06.2018 um 18:00 schrieb Thomas Braun:
I for my part would much rather prefer that to be a compile time option so that I don't need to check on every git update on windows if this is now enabled or not.
This exactly my concern, too! A compile-time option may make it a good deal less worrisome.
-- Hannes
