Make #304 switchable.

This commit is contained in:
Martin Rotter 2021-01-08 22:41:19 +01:00
parent a74bdbd723
commit 494a1e15e7