tree 1f23c2950456c8b96b9a58b67f6e73d54e75a1b1
parent aee8717877f38731f15fb056c8046ea884ee24f1
author Hanno Becker <hanno.becker@arm.com> 1549465472 +0000
committer Hanno Becker <hanno.becker@arm.com> 1551191889 +0000

Increase robustness and documentation of ticket implementation