xref: /AOO42X/main/hsqldb/patches/script.patch (revision 9bce9b0d387299c68bd81d539e1478357a103de5)