859779 Give the correct number of opened tickets and pull-requests on the project's menu bar

Authored and Committed by Pierre-Yves Chibon 10 years ago
    Give the correct number of opened tickets and pull-requests on the project's menu bar