Commit 25d0340b7ef4cde52e87819c9bf54d65fe136a58

Stefan Sperling 2019-02-08T12:27:42

get rid of an unused global in diff3 code