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

[Michel Rodriguez]

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

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