Hello all, Since kernel.org remains down, I've set up a man-pages git repo on github, at https://github.com/mkerrisk/man-pages. To clone the repo: git clone git@xxxxxxxxxx:mkerrisk/man-pages.git I'm undecided yet, but this may become the permanent location of the upstream repository. Thanks, Michael PS man-pages-3.33 has been tagged, but I'll wait until I have online pages up before doing a release announcement. -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html