tree a8e925771ad0f722ea7ce41aac76f496ed41028a
parent 6ce30722d06943a1780368560fbffbdd234c18b7
author Gilles Peskine <Gilles.Peskine@arm.com> 1567503724 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1567512696 +0200

Fix copypasta in msg