xref: /trunk/main/hsqldb/patches/script.patch (revision 37879971a3da8c615cb10efdabc88d3c1d1528e7)