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