-
Daniel Hahler authored
Especially given the inc_append_history option, it is not necessary to set the (default) append_history option.
b578eea2
Especially given the inc_append_history option, it is not necessary to set the (default) append_history option.