Closed schwehr closed 4 years ago
Hi @schwehr, we actually had this fix already in the develop branch. Therefore I will close this PR and rather merge develop into master.
For reference, this was done in 448abb1d779b878df8427c40963ab37ae6f31e83