#705555 zsh: HIST_IGNORE_DUPS ignores lines which differ by a different number of spaces

Package:
zsh
Source:
zsh
Description:
shell with lots of features
Submitter:
Vincent Lefevre
Date:
2019-04-23 13:03:04 UTC
Severity:
minor