tree 7806033eb13dbfc9cc385d45aab3f4fea8a01b37
parent 96ab5b0a3c5593561cb975c2c1672982f11118a9
author Petr Jediný <petr.jediny@gmail.com> 1527610966 +0200
committer Petr Jediný <petr.jediny@gmail.com> 1527611010 +0200

Fix enforceHighstate exclude

Change-Id: I14196164f76d6fe3efb81a9498156bcac8208b0a