Closed rgrinberg closed 4 years ago
options affected:
Mostly done to silence the warnings.
Thanks @wasamasa
Thank you for the contribution!
@wasamasa, could you merge this when you consider it ready? Thanks!
Hm, this seems to have been done already.
options affected:
Mostly done to silence the warnings.