[tor-commits] [tor/master] Merge remote-tracking branch 'linus/binshify'

[nickm at torproject.org]

commit 0f31d4f14dd3b1abe6559ab59e37cf0b11a4e2e3
Merge: c0391ba 3c74119
Author: Nick Mathewson <nickm at torproject.org>
Date:   Mon Jul 15 12:02:40 2013 -0400

    Merge remote-tracking branch 'linus/binshify'

 contrib/coverage |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)