xref: /trunk/main/hsqldb/patches/script.patch (revision 12ebf780b277adcb73e1d4c237575df5aacccfea)