Commit e20293f22c3b2a1b5215653937598f272b1ce627

Stefan Sperling 2018-11-17T16:35:27

revert previous; it made a wrong assumption and broke diff