Re: [css-ui-3] box-sizing: padding-box from Boris Zbarsky on 2015-06-12 (www-style@w3.org from June 2015)

From: Boris Zbarsky <bzbarsky@mit.edu>
Date: Fri, 12 Jun 2015 08:40:39 -0400
To: www-style@w3.org
Message-ID: <557AD347.2010104@mit.edu>

On 6/12/15 8:34 AM, Florian Rivoal wrote:
> I haven't heard from Mozilla yet

Looks to me like https://bugzilla.mozilla.org/show_bug.cgi?id=1169837 is 
fixed and https://bugzilla.mozilla.org/show_bug.cgi?id=1166728 has a 
reviewed patch that's just waiting on 
https://bugzilla.mozilla.org/show_bug.cgi?id=1169839 to be fixed.

-Boris

Received on Friday, 12 June 2015 12:41:10 UTC