Change conversion for difftime to INTERVAL, not TIME#151
Merged
krlmlr merged 3 commits intomainfrom timeinterval May 1, 2024
Hidden character warning
The head ref may contain hidden characters: "timeinterval\u00a0"
+120-117
Commits
Commits on Apr 30, 2024
- committed
Hannes Mühleisen
Commits on May 1, 2024
- committed
- committed
