Skip to content
Snippets Groups Projects
Commit d1fbfddc authored by Frederik Hennig's avatar Frederik Hennig
Browse files

fix is_integer

parent ef41f461
No related branches found
No related tags found
1 merge request!400Extensions and fixes to the type system
Pipeline #67462 passed