fix: Remove unused <use> elements when deleting empty symbols (issue 1765). #1661
Job | Run time |
---|---|
37s | |
1m 1s | |
3m 4s | |
1m 3s | |
3m 7s | |
1m 1s | |
3m 12s | |
1m 7s | |
1m 59s | |
17m 40s | |
33m 51s |
Job | Run time |
---|---|
37s | |
1m 1s | |
3m 4s | |
1m 3s | |
3m 7s | |
1m 1s | |
3m 12s | |
1m 7s | |
1m 59s | |
17m 40s | |
33m 51s |