projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: f6e4c12 583e8e0)
Merge pull request #832 from xplicit/webperf1
authorRodrigo Kumpera <kumpera@gmail.com>
Fri, 13 Dec 2013 15:24:06 +0000 (07:24 -0800)
committerRodrigo Kumpera <kumpera@gmail.com>
Fri, 13 Dec 2013 15:24:06 +0000 (07:24 -0800)
Header names should be compared binary but not linguistic.


Trivial merge
my mono mirror. check out Moved to http://github.com/mono/mono