Merge pull request #2160 from rtfeldman/editor-comments

support tld comments in docs and editor(reading only)
This commit is contained in:
Anton-4 2022-02-10 11:49:10 +01:00 committed by GitHub
commit d6681f4e0a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
21 changed files with 287 additions and 84 deletions

View file

@ -3298,6 +3298,7 @@ where
&mut var_store,
look_up_builtins,
);
let canonicalize_end = SystemTime::now();
module_timing.canonicalize = canonicalize_end.duration_since(canonicalize_start).unwrap();