12 Jul
2018
12 Jul
'18
3:45 p.m.
There's no reason this shouldn't be const. I think the header should be changed instead.