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