You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
PR #78 fixed an issue regarding precision of mtime. The implemented approach was to deal with round issues when checking. A more correct approach was suggested during the review.
This issue is a reminder to follow up on that and implement that approach instead.
The text was updated successfully, but these errors were encountered:
PR #78 fixed an issue regarding precision of mtime. The implemented approach was to deal with round issues when checking. A more correct approach was suggested during the review.
This issue is a reminder to follow up on that and implement that approach instead.
The text was updated successfully, but these errors were encountered: