Revision 23372423c0f2f2522b14183d53931efaccf60ee8

Committed on 29/07/2013 6:42 am by Raymond Julin <raymond.julin@gmail.com> [GitHub Diff]

Fixes broken pencils on some 5.1 installations