xref: /AOO41X/main/hsqldb/patches/script.patch (revision 82b763b59ca0000bdfb6aeda7ed52d2c8fa2f9bf)