chiark / gitweb /
path: add missing pieces for PathModified