X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fgnu-oids.texi;h=85386e7cc4f73dff9ef8a0014b3c00a28bc9e8ae;hb=2aa729ac6af316bc30111144684a51c4650d5c44;hp=da9146cc134a859c91b7be7f322329040836e4b5;hpb=4969ef133e2f6bd4086b9faf6aa5c73bce0c668f;p=pspp

diff --git a/doc/gnu-oids.texi b/doc/gnu-oids.texi
index da9146cc13..85386e7cc4 100644
--- a/doc/gnu-oids.texi
+++ b/doc/gnu-oids.texi
@@ -32,6 +32,9 @@
 @c Added 2010-05-17 on request from Eric Blossom <eb@comsec.com>
 1.3.6.1.4.1.11591.7 GNU Radio
 
+@c Added 2010-07-02 on request from Sergey Poznyakoff <gray@gnu.org.ua>
+1.3.6.1.4.1.11591.8 GNU Dico
+
 1.3.6.1.4.1.11591.12 digestAlgorithm
   1.3.6.1.4.1.11591.12.2 TIGER/192
   1.3.6.1.4.1.11591.13 encryptionAlgorithm