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