| 05:14 | <MikeSmith> | annevk: Domenic: do we know why Travis stopped running for HTML? |
| 05:14 | <MikeSmith> | https://travis-ci.org/github/whatwg/html/builds |
| 05:14 | <MikeSmith> | last build 4 days ago |
| 05:15 | <MikeSmith> | oh wait |
| 05:15 | <MikeSmith> | I see that is actually the last time anything was merged to master |
| 05:16 | <MikeSmith> | I was thinking https://github.com/whatwg/html/pull/4519/ has been merged but I see now that it has not |
| 05:18 | <MikeSmith> | yeah, waiting on resolution of https://github.com/whatwg/html/issues/3840 still I guess |
| 11:43 | <annevk> | MikeSmith: 🐣 |
| 11:44 | <MikeSmith> | heh |
| 11:44 | <MikeSmith> | that’s a nice one |
| 22:56 | <Domenic> | Phew https://github.com/whatwg/streams/pull/1035 |
| 23:40 | <MikeSmith> | Domenic: oh wow |
| 23:40 | <MikeSmith> | cool |