xref: /trunk/main/hsqldb/patches/script.patch (revision 42f9d71d141b0d481f7c3a24ca2c8090c33520f4)