On Sun, Oct 23, 2016 at 8:50 PM Chris Murphy <lists(a)colorremedies.com>
I think it'd be helpful if one or more WG members could chime in
whether these should be blocked on.
It doesn't really matter, as both issues have been fixed upstream and in
recent F25 builds.