Let's stay with current version. '!= 0' will not add any improvement.
Unpatched version gives maintenance simplicity.
--
Best Wishes,
Evgeny Grin
27.11.2019, 16:53, "ng0" <n...@n0.is>:
Okay, thanks.
What about the != 0 addition, could this be problematic as well?
