xref: /trunk/main/hsqldb/patches/script.patch (revision 3309286857f19787ae62bd793a98b5af4edd2ad3)