diff options
| author | Peter Stephenson <pws@zsh.org> | 2013-10-11 11:13:03 +0100 |
|---|---|---|
| committer | Peter Stephenson <pws@zsh.org> | 2013-10-11 11:13:03 +0100 |
| commit | d0fe73c5fb87ff8388837a508b903f7e93b0b2c0 (patch) | |
| tree | aec6a5956070320ea729d48c3887065ca9b4fff7 /Util/reporter | |
| parent | c35a561a9c0ea5f3190141c7ccf28720c100485a (diff) | |
| download | zsh-d0fe73c5fb87ff8388837a508b903f7e93b0b2c0.tar.gz zsh-d0fe73c5fb87ff8388837a508b903f7e93b0b2c0.tar.xz zsh-d0fe73c5fb87ff8388837a508b903f7e93b0b2c0.zip | |
31815: another fix for INCAPPENDHISTORY change.
We need to save immediately if something is pushed on the history stack to ensure we use the right file before popping.
Diffstat (limited to 'Util/reporter')
0 files changed, 0 insertions, 0 deletions