Details
-
Bug
-
Resolution: Done
-
P2: Important
-
5.0.2
-
None
Description
It can happen that the default 5.0.2 uses the wrong toolchain: We only register the toolchain based on binary format. Instead we should register by toolchain id.