xref: /AOO42X/main/hsqldb/patches/script.patch (revision 087f8b2ba9a9bbfd2bd1620481a6c6db04e320c4)