| commit | 723b058b2e1aea35d35632e0eacad00115a3767d | [log] [tgz] |
|---|---|---|
| author | Jean-Baptiste Queru <jbq@google.com> | Thu May 17 11:28:58 2012 -0700 |
| committer | Jean-Baptiste Queru <jbq@google.com> | Thu May 17 11:29:02 2012 -0700 |
| tree | 0aa578effb902dd3a3be5df577f830760613fbd8 | |
| parent | 4a1d1394838571866e637fbadf9b8c569178b2ec [diff] |
Properly quote <username> That way, it appears in the right font, *and* it's not interpreted as markup. Change-Id: I080ce06fb1c2e5c017d625510cf20fb1f30471ad