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