> Should this (and the other one) not be mentioned upstream somehow?
I filled in PRs for the ODR violations at Mozilla side already.

Honza

Reply via email to