]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #1573 from mbrubeck/master
authorGraydon Hoare <graydon@pobox.com>
Fri, 20 Jan 2012 05:36:13 +0000 (21:36 -0800)
committerGraydon Hoare <graydon@pobox.com>
Fri, 20 Jan 2012 05:36:13 +0000 (21:36 -0800)
Remove some stray texinfo syntax from a footnote


Trivial merge