diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-08-06 19:01:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-06 19:01:08 +0200 |
| commit | 103ad1598c4708735412ffbb4f8ef9730ec071d2 (patch) | |
| tree | 90c73fdb4b9bd18dca73ad3c85f9c30af7e48066 /.github | |
| parent | ed6c646f44e5b9e0fcbc53058491e97875a263c2 (diff) | |
| parent | 4495560d6df5f89c3ae32b960f457fbc2f3fb831 (diff) | |
Merge pull request #2334 from dtzWill/fix/revert-progress-bar-refresh-for-now
Revert "progress-bar: re-draw last update if nothing new for 1sec."
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions