*** old	2016-03-11 09:39:27.112041502 +0100
--- new	2016-03-11 09:40:04.178722330 +0100
***************
*** 7,10 ****
  a
  a
  a
! a
--- 7,10 ----
  a
  a
  a
! b