[Rt-commit] rt branch, 5.0/hide-pencil-button-if-no-rights, deleted. rt-5.0.0alpha1-11-g935e5c01ec

[Michel Rodriguez]

The branch, 5.0/hide-pencil-button-if-no-rights has been deleted
       was  935e5c01ec3678fd16032b2b48dc70e36967bda0

-----------------------------------------------------------------------
935e5c01ec3678fd16032b2b48dc70e36967bda0 Fix a bug in determining whether the user can edit the people info.
-----------------------------------------------------------------------