mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-14 17:13:50 +01:00
The duplication happened already in the initial version, and when [17504] had the `--locked` added, the opportunity to remove the duplication was missed. [17504]: https://github.com/RIOT-OS/RIOT/pull/17504