tree fa70815a70dfc785c4b00cf0fb40f7746631aa83
parent a45d2ef9576e4b527fd295b829443d99016ac3ed
author Gilles Peskine <Gilles.Peskine@arm.com> 1520529405 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1520529405 +0100

Refer to X.690 by number

It's easier to identify and find by number than by its very wordy
title, especially as there was a typo in the title.