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