Commit graph

2 commits

Author SHA1 Message Date
55c384801f use Int64.of_string_opt 2026-02-23 08:04:22 +01:00
dad5bd9d35 rename 2026-02-12 13:01:48 +01:00