Commit 19e46645af31b594514cdf88e0ff037e15f39b9b

Edward Thomson 2015-09-23T11:07:04

patch printing: include rename information