-
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
To find the state of this project's repository at the time of any of these versions, check out the tags.