caa8817
1 2 3 4 5 6 7 8 9 10 11
*** old 2016-03-11 09:39:24.592040532 +0100 --- new 2016-03-11 09:39:57.682053183 +0100 *************** *** 5,7 **** a ! a a --- 5,7 ---- a ! b a