chiark / gitweb /
remove old "calculate included patches in topgit branches" idea; we are going to...