Merge pull request #228 from garyburd/master

Update subrepo page.