chiark / gitweb /
Add missing notification when scratch queued, lost a couple of commits back