Commit f1e81a0517df837593350dd932e813563bdc01b8

Stefan Sperling 2019-08-10T16:57:20

fix bug where 'revert -p' would delete all lines following a reverted change