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

[Michel Rodriguez]

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

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