Skip to content

Mute some warnings

Ghost User requested to merge (removed):warnings into master

Well, my approach.

. 1st patch

  • easy to understand

. 2nd patch

  • invasive, but git diff -w produces an empty patch.

Closes #139 (closed)

Merge request reports