From 32c913b245144ca044617974bee61b5328a410e7 Mon Sep 17 00:00:00 2001
From: Gabriel Scherer <gabriel.scherer@gmail.com>
Date: Sat, 11 Nov 2017 18:09:59 +0100
Subject: [PATCH] fix the manual

---
 manual/manual.adoc | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/manual/manual.adoc b/manual/manual.adoc
index 20c112e2..ac94bc14 100644
--- a/manual/manual.adoc
+++ b/manual/manual.adoc
@@ -704,7 +704,7 @@ Feel free to look at the implementation and link:../CONTRIBUTING.adoc[send a pat
 * `no_alias_deps`
 * `no_float_const_prop`
 * `noassert`
-* `noautolink` (since NEXT_RELEASE)
+* `noautolink` (since 0.11.0)
 * `nolabels`
 * `nopervasives`
 * `nostdlib` (since 0.9.4)
@@ -749,6 +749,11 @@ Feel free to look at the implementation and link:../CONTRIBUTING.adoc[send a pat
 * `no_unbox_free_vars_of_closures`
 * `no_unbox_specialized_args`
 
+===== Compiler tags for the AFL instrumentation mode (4.05 and newer)
+
+* `afl_instrument` (since 0.12.0)
+* `afl_inst_ratio` (since 0.12.0)
+
 ===== `ocamlfind` tags
 
 * `package(pkgname)`