Duplicates will be filtered out when https://github.com/RIOT-OS/RIOT/pull/801 gets merged