Bumped version number
Merge pull request #3175 from peterrehm/patch-5

Updated version number of proxy manager