From 98578ec2412d5b5d2e105f3ddd0d41eb21c3de14 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 876936b87..b162a5577 100644
--- a/lib/history.zsh
+++ b/lib/history.zsh
@@ -3,7 +3,6 @@ HISTFILE=$HOME/.zsh_history
 HISTSIZE=10000
 SAVEHIST=10000
 
-setopt append_history
 setopt extended_history
 setopt hist_expire_dups_first
 setopt hist_ignore_dups # ignore duplication command history list