xref: /AOO42X/main/hsqldb/patches/script.patch (revision 7a5c319bc8e6ef6be17786eddb0dfb0d38bafd5c)