xref: /trunk/main/hsqldb/patches/script.patch (revision 3436fcd2f4b4461b228de82395123a71e5e8bc13)