xref: /trunk/main/hsqldb/patches/script.patch (revision 141ed1b0e8f66573b5bd315db0ad0769b0a91455)