Preserve # prefix for unresolved cross-references
#1708
| Job | Run time |
|---|---|
| 32s | |
| 32s |
# prefix for unresolved cross-references
#1708
| Job | Run time |
|---|---|
| 32s | |
| 32s |