Closed andtsa closed 1 month ago
Label priority defaults to 0. Having two labels present for the same run is undefined behaviour if neither have a priority specified, but it is the user's responsibility to avoid this.
Looks good to me. Update the documentation to say that this 'undefined behavior' is the default now though.
Label priority defaults to 0. Having two labels present for the same run is undefined behaviour if neither have a priority specified, but it is the user's responsibility to avoid this.