tree 484aa11f2721f2e824119d32336b0d17464b699d
parent bdc807dbe8b97e1a1a5b212380ec4ffa07a784e4
author Antonin Décimo <antonin.decimo@gmail.com> 1548253477 +0100
committer Simon Butcher <simon.butcher@arm.com> 1550505474 +0000

Fix #2370, minor typos and spelling mistakes