Skip to content

build system: fix FEATURES_REQUIRED_ANY#15957

Merged
maribu merged 1 commit into
RIOT-OS:masterfrom
maribu:features_required_any_order_fix
Feb 9, 2021
Merged

build system: fix FEATURES_REQUIRED_ANY#15957
maribu merged 1 commit into
RIOT-OS:masterfrom
maribu:features_required_any_order_fix

Commits

Commits on Feb 9, 2021