xref: /trunk/main/hsqldb/patches/script.patch (revision 07df5c711310d210fae9747223095e12ac5f0c18)