xref: /trunk/main/hsqldb/patches/script.patch (revision 7b2bc0e6bba2fbc38d078306fe10d875115d6c86)