xref: /trunk/main/hsqldb/patches/script.patch (revision 99ad85ff5d61cf2054d3df3b4503ee1b84f3f4d0)