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