chiark / gitweb /
Complete patch names after a patch (range) option