tree ac3da9c10f5b752dd8f72712d5dcaf7443f73608
parent fa7233aa9c3d6fbdb05bcf7d3c54a22101b307c5
parent 31d1fc8a71d3f843db0a2ba29bbb8d043aa7d21a
author Luca Milanesio <luca.milanesio@gmail.com> 1619135972 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1619135972 +0100

Merge branch 'stable-3.1' into stable-3.2

* stable-3.1:
  Plugin reports wrong number of failures

Change-Id: I79588326d2ae104bce124e8f1f0d4cf75f54d846