updated for version 7.1-131
diff --git a/src/option.c b/src/option.c
index a8aded5..d0fc1b2 100644
--- a/src/option.c
+++ b/src/option.c
@@ -8753,6 +8753,8 @@
char *name;
int value;
{
+ if (value < 0) /* global/local option using global value */
+ return OK;
if (fprintf(fd, "%s %s%s", cmd, value ? "" : "no", name) < 0
|| put_eol(fd) < 0)
return FAIL;
diff --git a/src/version.c b/src/version.c
index 0f960a7..a8de5b3 100644
--- a/src/version.c
+++ b/src/version.c
@@ -667,6 +667,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 131,
+/**/
130,
/**/
129,