Put the PR number in the comment

JuliaLang · Jun 1, 2022 · 28db101 · 28db101
1 parent 33f3ccf
commit 28db101
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/base/loading.jl b/base/loading.jl
@@ -2054,7 +2054,7 @@ get_compiletime_preferences(::Nothing) = String[]
                            ( ftime != floor(ftime_req) ) &&           # Issue #13606, PR #13613: compensate for Docker images rounding mtimes
                            ( ftime != trunc(ftime_req, digits=6) ) && # Issue #20837, PR #20840: compensate for GlusterFS truncating mtimes to microseconds
                            ( ftime != 1.0 )  &&                       # PR #43090: provide compatibility with Nix mtime.
-                           !( 0 < (ftime_req - ftime) < 1e-6 )        # PR #-----: Compensate for Windows tar giving mtimes that may be incorrect by up to one microsecond
+                           !( 0 < (ftime_req - ftime) < 1e-6 )        # PR #45552: Compensate for Windows tar giving mtimes that may be incorrect by up to one microsecond
                 if is_stale
                     @debug "Rejecting stale cache file $cachefile (mtime $ftime_req) because file $f (mtime $ftime) has changed"
                     return true