Excerpts from Yuya Nishihara's message of 2017-04-09 13:45:37 +0900: > It seems filelog.renamed() is optimized for a common case where p1 isn't > null. Ah... I should have noticed that. Will send a new version.