chiark / gitweb /
Merge pull request #564 from hg42/allow-dropping-profile