1 2 3 4 5 6 7 8 9 10 11 12 13
*** old 2016-03-11 09:40:55.785408703 +0100 --- new 2016-03-11 09:40:55.785408703 +0100 *************** *** 7,10 **** a a a ! b --- 7,10 ---- a a a ! a