tree dcb73cf3c2a2365f6e008753e462d7213a5ebb9a
parent 5e85c612fcd0beab1c9e29bdfa018b9c4a7b62d4
author Gilles Peskine <Gilles.Peskine@arm.com> 1520529405 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1520529514 +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.