Hello, tcsh's build-failure on arm has been fixed, but the auto-builders don't retry (it's "Building by buildd_arm-netwinder" since Feb 22), and there is no machine available where I can compile it manually. Thank you! -- Martin