xref: /trunk/main/hsqldb/patches/script.patch (revision 01cec6d620143fc02deecf66cdb0013880d92ac2)