tree 77fa841f8cb592b13992ec4cd44410a4277711e2
parent 62a2aef729961ed1e6ca0152dbd9b95ac527f149
author Fabio Ponciroli <Ponch78@gmail.com> 1744279426 +0200
committer Luca Milanesio <luca.milanesio@gmail.com> 1774878476 +0100

Fixed erroneous increment of the rescheduled metric

Rescheduled metric was incorrectly incremented during merge.

Change-Id: I9007b28a2a13c5df527e214b8ba38008dc1252eb