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