Make reidentify()
work even with top-level $ref
(#1422)
#5397
Job | Run time |
---|---|
4m 35s | |
1m 58s | |
7m 11s | |
5m 0s | |
8m 10s | |
4m 10s | |
3m 49s | |
7m 37s | |
7m 3s | |
4m 59s | |
5m 6s | |
59m 38s |