xref: /AOO42X/main/hsqldb/patches/script.patch (revision 14b5e2f413ce08e2b2c38cc28a2513f0cb0bb8d8)