Am 05.07.2013 21:22, schrieb Karol Blazewicz:
Should I open a bug report? If you don't plan on fixing it immediately, please post a message on arch-dev-public, because not everyone is reading arch-general even though this seems to be only an annoyance, not a system-breaking bug.
This should be fixed before it moves to core. It is already being worked on.