On 28/03/15 16:22, Christian Weisgerber wrote:
Should they be added?Yes, they should, but we may have to wait until 5.7 is released for the mirror maintainers to update their machines.
Ah, thanks for the clarification. Was not aware that they were that new. Bernd
