Merge branch 'master' of git://github.com/bbatsov/prelude
Merge branch 'master' of github.com:trmwzm/prelude
Merge branch 'master' of git://github.com/bbatsov/prelude
Merge branch 'master' of github.com:bbatsov/prelude
quoting meta-f5
Merge branch 'master' of git://github.com/bbatsov/prelude
Merge branch 'master' of github.com:trmwzm/prelude
quoting