simgunz added a comment.
I have created a new revision D12013 <https://phabricator.kde.org/D12013> by mistake. That can be deleted. I have removed the commit with the asterisk I have added before, because when I just tried to revert it phabricator was complaining and didn't let me update the revision. Is pushing a rebased branch to the phabricator diff a bad practice (usually it is in git)? REPOSITORY R223 Okular REVISION DETAIL https://phabricator.kde.org/D12013 To: simgunz Cc: #okular, michaelweghorn, ngraham, aacid