From b578eea2739e707d5ecfb79f5b072876264d8f1c Mon Sep 17 00:00:00 2001
From: Daniel Hahler <git@thequod.de>
Date: Fri, 16 Dec 2011 14:21:45 +0100
Subject: [PATCH] `setopt append_history` is not necessary.

Especially given the inc_append_history option, it is not necessary to
set the (default) append_history option.
---
 lib/history.zsh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/lib/history.zsh b/lib/history.zsh
index 655945166..1d83e56e3 100644
--- a/lib/history.zsh
+++ b/lib/history.zsh
@@ -5,7 +5,6 @@ fi
 HISTSIZE=10000
 SAVEHIST=10000
 
-setopt append_history
 setopt extended_history
 setopt hist_expire_dups_first
 setopt hist_ignore_dups # ignore duplication command history list