regen v9_11

diff --git a/OPTIONS b/OPTIONS
index d934a0505c05c584f8309e71f98af7cf0ef252bd..0b12540301bf4d45cf7da1e422b9a4d12c0603a4 100644 (file)
--- a/OPTIONS
+++ b/OPTIONS
@@ -30,3 +30,4 @@ Setting                   Description
                           Disable the use of inline functions to implement
 -DISC_BUFFER_USEINLINE=0  the isc_buffer API: this reduces performance but
                           may be useful when debugging
+