chiark / gitweb /
fix 526410 (Applied patch from Charles Plessy about providing information to the...