xref: /trunk/main/hsqldb/patches/script.patch (revision 721f84f292c13ee103c3eff117eb0ad9b2066153)