| 02:29 | <domfarolino> | annevk: https://github.com/whatwg/html/pull/4031 is ready for a closer review now I think |
| 13:21 | <yoav> | Hey folks! I'm looking at reload-trigger navigation and having trouble finding where it is actually defined https://html.spec.whatwg.org/multipage/browsing-the-web.html#reload-triggered-navigation |
| 13:21 | <yoav> | (trying to understand if it includes user-triggered reloads or not, e.g. clicking the reload button) |
| 13:53 | <annevk> | domfarolino: I’m more or less out until 2019 |
| 13:53 | <annevk> | yoav: mostly undefined iirc |
| 13:55 | <yoav> | OK... |
| 14:00 | <yoav> | annevk: are there objections to defining it? Or just something that haven't happened? |
| 15:51 | <domfarolino> | Sounds good I’ll leave a note on the PR for next year |
| 19:21 | <annevk> | yoav: defining it sounds good, user-triggered navigation in general could use some love |
| 19:22 | <annevk> | yoav: can at best make should requirements of course |
| 19:50 | <yoav> | annevk: cool, thanks |
| 20:22 | <gsnedders> | we don't have any public `git blame` view of HTML, do we? |
| 21:08 | <annevk> | gsnedders: see README of whatwg/html |
| 21:12 | <gsnedders> | annevk: oh, I should've thought to look at GitHub :) |
| 21:29 | <annevk> | 😊 |