tree 31441d339873acd90c3331328bda8f50c4fd572a
parent 4c9b8e093d987efcf782e8400a4c6d14555d1b23
parent dd49843c8b917a25472f23ffc6c59f335cf5937c
author Luca Milanesio <luca.milanesio@gmail.com> 1590790125 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1590790125 +0100

Merge branch 'stable-3.1' into stable-3.2

* stable-3.1:
  Implement deadlock check

Change-Id: Ie24a74cfbe04095966a1f10d981d0d6ff3038b3e