*** 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