chiark / gitweb /
Merge config aliasing bug fix.