12:22
<hsivonen>
Do I understand correctly that the ambiguous ampersand landed in the spec as an "editorial" changeset without a bug link? https://searchfox.org/whatwg-html/diff/71f8237e60a0a4b356ec5b75f6a7683f74b3900c/source#29968
15:29
<Domenic>
No, it seems to have landed in 2007 by Hixie, before browser bugs were a thing. And it's not marked as editorial. This is a bit more obvious if you GitHub. https://github.com/whatwg/html/commit/71f8237e60a0a4b356ec5b75f6a7683f74b3900c
15:31
<Domenic>
Oh, maybe "[e]" means editorial, dunno.
15:33
<Ms2ger 💉💉>
Lemme check http://html5.org/tools/web-apps-tracker
17:23
<sideshowbarker>
sigh https://drafts.csswg.org/ wedged once again for the umpteenth time
17:24
sideshowbarker
goes off to file his umpteenth bug report about it
17:24
<sideshowbarker>
Groundhog Day
17:25
<DerekNonGeneric>
Where do we talk about CSS?
17:25
<sideshowbarker>
here I guess
17:25
<sideshowbarker>
as far as substantive discussions go
17:25
<sideshowbarker>
TabAtkins is here
17:29
<DerekNonGeneric>
made some progress w/ CSS in AMP; pull requests made, approved, merged, live and online (stable)
17:41
<DerekNonGeneric>
there was a problem w/ the scroll-padding-* i had mentioned the other day
17:41
<DerekNonGeneric>
so, we go that taken care of in https://github.com/ampproject/amphtml/issues/34378
17:42
<DerekNonGeneric>
that issue is only half, but super nice to see how that all works
17:43
<DerekNonGeneric>
(have been out of the loop for a while, but no big deal)
17:53
<DerekNonGeneric>
oh yeah, the scroll-margin-* stuff too, but not really sure what that is for
18:05
<DerekNonGeneric>
MDN has some examples (thank you to whoever made those) https://developer.mozilla.org/en-US/docs/Web/CSS/scroll-margin-top