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