chiark / gitweb /
build changes handling: Introduce postbuild_mergechanges