[Pkg-zsh-devel] Processed: Are INC_APPEND_HISTORY_TIME and SHARE_HISTORY really mutually exclusive, as the documentation of zshoptions says?

[Debian Bug Tracking System]

Processing control commands:

> affects -1 zsh-doc
Bug #1108492 [zsh] Are INC_APPEND_HISTORY_TIME and SHARE_HISTORY really mutually exclusive, as the documentation of zshoptions says?
Added indication that 1108492 affects zsh-doc

-- 
1108492: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1108492
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems