djcb/mu — pull request #160 by tmalsburg (2013-03-13 10:47:19+00:00)
Title: This fixes issue #159, broken bindings in the headers menu of mu4e.

It's the first time I use github. I hope I've done everything right.