public-houdini-archive@w3.org from November 2016 by author

Simon Sapin via GitHub

• [css-houdini-drafts] [font-metrics-api] Which line box? (Saturday, 12 November)

Tab Atkins Jr. via GitHub

• Re: [css-houdini-drafts] Global CSS Mixins (Monday, 21 November)
• Re: [css-houdini-drafts] Nested CSS Selectors will be implemented? (Monday, 21 November)
• Closed: [css-houdini-drafts] Nested CSS Selectors will be implemented? (Monday, 21 November)
• Re: [css-houdini-drafts] Global CSS Mixins (Friday, 11 November)
• Re: [css-houdini-drafts] Global CSS Mixins (Friday, 11 November)

Ádám Liszkai via GitHub

• [css-houdini-drafts] Nested CSS Selectors will be implemented? (Saturday, 12 November)
• Re: [css-houdini-drafts] Global CSS Mixins (Saturday, 12 November)
• Re: [css-houdini-drafts] Global CSS Mixins (Friday, 11 November)
• [css-houdini-drafts] Global CSS Mixins (Friday, 11 November)

Last message date: Monday, 21 November 2016 21:06:22 UTC