Commit Graph
1 Commits
Author SHA1 Message Date
6543andGitHub dd0f5932b3 Switch from BoolTrue to optional.Option[bool] (#5693) 2025-11-04 14:43:30 +01:00