[04:10] <Geth> ¦ Terminal-Widgets/main: 4 commits pushed by (Geoffrey Broadwell)++

[04:10] <Geth> ¦ Terminal-Widgets/main: f5f90dcb91 | Clarify comments in Terminal.quit

[04:10] <Geth> ¦ Terminal-Widgets/main: d5bede9114 | Ignore events that change state if Input not enabled

[04:10] <Geth> ¦ Terminal-Widgets/main: 40bacc4c44 | Support overriding default behavior of Text.finish-entry

[04:10] <Geth> ¦ Terminal-Widgets/main: f629d3c79e | Improve UX of heat-ping target input

[04:10] <Geth> ¦ Terminal-Widgets/main: review: https://github.com/japhb/Terminal-Widgets/compare/7a9300298602...f629d3c79e69

[11:41] *** Geth left
[11:42] *** Geth joined