xref: /trunk/main/hsqldb/patches/script.patch (revision 07662b26dffe2c9fb8fe61592c6a0f86f1b6e728)