xref: /trunk/main/hsqldb/patches/script.patch (revision 5442cf12744ec0f75c4b561d5d07f26f1b3bfece)