tree ac3da9c10f5b752dd8f72712d5dcaf7443f73608
parent 383ddf0b58755c8d9dd46340f01b1bef7463eff1
parent 7728f346dcb047b1e1c9853450290ccd2d139f4a
author Luca Milanesio <luca.milanesio@gmail.com> 1619136582 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1619136582 +0100

Merge branch 'stable-3.2' into stable-3.3

* stable-3.2:
  Plugin reports wrong number of failures

Change-Id: Ifdb27b3b3977f430717cfdb03c93cc75489f280a