Fix a warning, and do some constification as a lucky side-effect :-)
This commit is contained in:
parent
7ba666fa0e
commit
e90e719739
Loading…
Reference in New Issue
Block a user