xref: /trunk/main/hsqldb/patches/script.patch (revision 80db8d5f292e7a7439bf20fc6b503d581954c3ac)