diff --git a/docs/source/version_history.rst b/docs/source/version_history.rst
index f9bc273df..ba481a63d 100644
--- a/docs/source/version_history.rst
+++ b/docs/source/version_history.rst
@@ -96,6 +96,7 @@ Bug Fixes
 #. Fix a reallocation bug in
    ``CreateJacobianBlockSparsityTranspose``. (Yuliy Schwartzburg)
 #. Add a define for O_BINARY.
+#. Fix miniglog-based Android NDK build; now works with NDK r9. (Scott Ettinger)
 
 
 1.6.0