xref: /trunk/main/hsqldb/patches/script.patch (revision 88ba6eadf4381f48b0ae5dedf545ecc13249c0a8)