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

[Michel Rodriguez]

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

-----------------------------------------------------------------------
17ff02d4b9b1f1db142dc193b5aed7e19a02a262 Hide the pencil icon if the user doesn't have the rights.
-----------------------------------------------------------------------