Commit 78efd5c1 overlooked this. Report by Peter Geoghegan.
Attach a file by drag & drop or click to upload
