Commit 3d3ff4b2f951ef592904aa4462d76997db8e572c

Werner Lemberg 2012-08-16T08:39:11

Formatting.