Timothy Werquin 1803ca43fa Fix String const operators.
Added const to various operators.
2018-05-15 22:23:03 +02:00
..
2018-05-15 22:23:03 +02:00