|
| From: | martin rudalics |
| Subject: | bug#27243: another case: dired-auto-revert-buffer jumps point to beginning of buffer |
| Date: | Fri, 28 Jul 2017 14:22:34 +0200 |
Are we waiting for feedback from Stefan (cc'd just in case)? Or should I go ahead and push the fix?
Go ahead and push it. martin
| [Prev in Thread] | Current Thread | [Next in Thread] |