Skip to content

Rename LocalResult to TzResolution, add alias#1501

Merged
pitdicker merged 2 commits intochronotope:mainfrom pitdicker:tz_resolutionMar 12, 2024