Felix Geyer f6243675c9 Warn if result of processInPlace() is unchecked.
Fix callers accordingly.
2015-05-09 23:21:50 +02:00
..
2015-04-05 10:38:36 +02:00
2014-05-16 10:51:22 +02:00
2014-05-16 12:07:22 +02:00