tree beb9190989a67ea9826c683cd3941a8f095aaae7
parent f30943a5557b806dc80ecd0e635de7a672ed6239
parent f13523582b357ea830d36fd1d70864eee4b25abb
author Luca Milanesio <luca.milanesio@gmail.com> 1590790019 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1590790019 +0100

Merge branch 'stable-2.16' into stable-3.0

* stable-2.16:
  Implement deadlock check

Change-Id: Ia3fa269237c3e86518acd898e8e98c0647546452