[clc-devel] Re: [CRUX] #27: new mirror