Commit 229a5535b53b308a8edda894fe112517c6d03b00

Werner Lemberg 2017-07-12T10:48:41

CHANGES: Add information on global metrics rounding. I missed to add this important information.