![]() Closes PR 11599 This is an API change relative to gr1, but it seems sensible, and it makes enter and leave events more reliable and easier to implement. original commit: f1e13a7921d7a8890376773f2705feb02bb165e8 |
||
---|---|---|
collects | ||
doc/release-notes | ||
man/man1 |