add link to bug

This commit is contained in:
Christian Grothoff 2017-05-04 23:53:29 +02:00
parent 69fa9b41d1
commit ed1a4c08fd
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC

View File

@ -208,7 +208,7 @@ history_cb (void *cls,
is); is);
return; return;
} }
/* FIXME: check history data is OK! */ /* FIXME: check history data is OK! (#4959) */
} }