Fix #19524: Protect use of `HeaderIdGenerator` with `synchronized`.#19884

Merged

sjrd merged 1 commit intoscala:mainfrom

dotty-staging:fix-scaladoc-race-condition

Mar 5, 2024

Commits on Mar 5, 2024

Fix #19524: Protect use of `HeaderIdGenerator` with `synchronized`.
sjrd
committed