diff --git a/doc/dev_ref/contents.rst b/doc/dev_ref/contents.rst index 6505762e1f3..0b8945c4354 100644 --- a/doc/dev_ref/contents.rst +++ b/doc/dev_ref/contents.rst @@ -16,5 +16,6 @@ contributions to the library todo os oids + next_major reading_list mistakes