Merge branch 'charm' of charmgit:charm into charm
authorEmmanuel Jeannot <ejeannot@mobile-192-17-202-71.near.uiuc.edu>
Wed, 30 Mar 2011 20:34:51 +0000 (22:34 +0200)
committerEmmanuel Jeannot <ejeannot@mobile-192-17-202-71.near.uiuc.edu>
Wed, 30 Mar 2011 20:34:51 +0000 (22:34 +0200)

Trivial merge