Fix priority management for Publication.
Merge pull request #4029 from HassenRiahi/fix-pub-priority

Fix priority management for Publication.