tree e168dfab03806a0c6ae517c6fcaff029c1b9a9f9
parent 081daf0dd3a86ce7f9052c6136aa2db9c32de36d
author Gilles Peskine <Gilles.Peskine@arm.com> 1562261493 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1562316979 +0200

Allow TODO in code

Don't reject TODO in code. Fix #2587