Bugs in Patchmanager ≥ 3.1.0

Bug Reports
9

On the other hand, maybe patchmanager could be updated if and when we have a new repository for patches (adjustable repo setup).