Michael Friedrich 67bd6d1813 Merge pull request #5316 from gitmopp/patch-1
Fix for stats min operator

fixes #3410
2017-06-16 21:02:17 +02:00
..
2017-06-16 16:57:05 +02:00
2017-04-28 17:02:13 +02:00
2017-06-01 19:30:04 +02:00
2017-02-09 16:40:11 +01:00