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