-
POTTIER Francois authored
This should make no observable difference, as this function is used only to produce an error message in a corner case.
ab374622
This should make no observable difference, as this function is used only to produce an error message in a corner case.