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