xref: /trunk/main/hsqldb/patches/script.patch (revision 95e2fe77240256cfc0711c47019d8b74a6327be0)