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

[? sunnavy]

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

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