robbyrussell/oh-my-zsh — pull request #750 by blueyed (2011-12-16 13:23:09+00:00)
Title: `setopt append_history` is not necessary.

Especially given the inc_append_history option, it is not necessary to
set the (default) append_history option.