Skip to content

make potential_number_p thread-safe

username-removed-1342825 requested to merge spaghettisalat/ecl:develop into develop

Closes #406 (closed).

Unrelated to the content: Should I push directly to the ECL repository, if I have a fix for such a simple bug or would you prefer if I continue to create merge requests?

Merge request reports