was 42f433ac4486c18fa6408d5f942dc394e5ff149e ----------------------------------------------------------------------- 42f433ac4486c18fa6408d5f942dc394e5ff149e 10499: Warn about user guide sections that rely on crunch1. ----------------------------------------------------------------------- hooks/post-receive --