chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5846d18) | patch
script: Sort other ungrabs
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 3 Jun 2021 00:10:59 +0000 (01:10 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 3 Jun 2021 00:10:59 +0000 (01:10 +0100)
commit37e243e3541f7f57d68f4247f0cd5f446246830a
treebe9569eea3542367aa1ce344e94bbc19d5a9eb67tree | snapshot
parent5846d189aaeaaada97ff9ce1f5b1e18f6ad08b8ecommit | diff
script: Sort other ungrabs

And rename do_ungrab to do_ungrab_1 to make sure we caught them all.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
templates/script.ts diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.