Branch: refs/heads/pan
Home: https://github.com/tmux/tmux
Commit: 88327c7698fc45a16d1a5235d71a078d419febb4
https://github.com/tmux/tmux/commit/88327c7698fc45a16d1a5235d71a078d419febb4
Author: nicm <nicm>
Date: 2018-08-19 (Sun, 19 Aug 2018)
Changed paths:
M screen-redraw.c
M server-client.c
M server-fn.c
M status.c
M tmux.h
M tty.c
Log Message:
-----------
Add a client redraw-window flag instead of the redraw-all flag and for
all just use the three flags together (window, borders, status).
Commit: 9ecf657703b85972c41291ab111f07b4ea16b47a
https://github.com/tmux/tmux/commit/9ecf657703b85972c41291ab111f07b4ea16b47a
Author: Thomas Adam <tho...@xteddy.org>
Date: 2018-08-19 (Sun, 19 Aug 2018)
Changed paths:
M screen-redraw.c
M server-client.c
M server-fn.c
M status.c
M tmux.h
M tty.c
Log Message:
-----------
Merge branch 'obsd-master'
Commit: 4bf205a9bed335c4fc6f6bbeb081f0789dd82ce3
https://github.com/tmux/tmux/commit/4bf205a9bed335c4fc6f6bbeb081f0789dd82ce3
Author: Nicholas Marriott <nicholas.marri...@gmail.com>
Date: 2018-08-19 (Sun, 19 Aug 2018)
Changed paths:
M cmd-select-pane.c
M screen-redraw.c
M server-client.c
M server-fn.c
M status.c
M tmux.h
M tty.c
Log Message:
-----------
Merge branch 'master' into pan
Commit: b53830d8b6130fa52943452ad0525981d6a0723b
https://github.com/tmux/tmux/commit/b53830d8b6130fa52943452ad0525981d6a0723b
Author: Nicholas Marriott <nicholas.marri...@gmail.com>
Date: 2018-08-19 (Sun, 19 Aug 2018)
Changed paths:
M tty.c
Log Message:
-----------
Check for right sense of bigger flag.
Compare: https://github.com/tmux/tmux/compare/b48aef3511bf...b53830d8b613
**NOTE:** This service has been marked for deprecation:
https://developer.github.com/changes/2018-04-25-github-services-deprecation/
Functionality will be removed from GitHub.com on January 31st, 2019.
--
You received this message because you are subscribed to the Google Groups
"tmux-git" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to tmux-git+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
