[[!comment format=mdwn username="spwhitton" avatar="http://cdn.libravatar.org/avatar/9c3f08f80e67733fd506c353239569eb" subject="comment 2" date="2017-01-03T09:07:18Z" content=""" Thanks for looking at this. Yes, it's probably the type-change. There is surely some way to instruct git to DTRT. """]]