Fix symbol canonicalization to not duplicate when marking as updated
Passed
Frederik Hennig
created pipeline for commit
0845d667
, finished
1 related merge request: !380 Fix symbol canonicalization to not duplicate when marking as updated
5 minutes 10 seconds, queued for 1 seconds