Comment # 13 on bug 1189267 from David Diaz

@Fabian, 

Which is the status of this? 

I'm a bit confused. https://github.com/openSUSE/branding/pull/127 has been
merged 5 days ago but https://build.opensuse.org/request/show/912434, which
reverts the change from Source Sans Pro to Source Sans 3, was accepted 9 days
ago.