el33th4x0r/crosstex — pull request #2 by rescrv (2012-09-20 15:50:53+00:00)
Title: Some bug fixes from NSDI

git fetch https://github.com/rescrv/crosstex master
git whatchanged -p FETCH_HEAD
git merge --no-ff --log FETCH_HEAD
git push