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