xref: /AOO42X/main/hsqldb/patches/script.patch (revision 51917e95716e3e5c5881fb1f7753f603d424e0f5)