Geert Bosch <bosch@gnat.com> writes: | Bootstrap will take a while. I'll report back after it finishes (or | fails) | and in case of success I'll make the fix on the branch. Thanks, -- Gaby