Support autobins and target renaming [lib] and [[bin]]#17
Merged
MarijnS95 merged 1 commit intomasterfrom redo-target-selectionJun 27, 2023
autobins and target renaming [lib] and [[bin]]#17