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