Merge pull request #5452 from WoltLab/devtools-sync
authorTim Düsterhus <duesterhus@woltlab.com>
Tue, 25 Apr 2023 13:39:20 +0000 (15:39 +0200)
committerGitHub <noreply@github.com>
Tue, 25 Apr 2023 13:39:20 +0000 (15:39 +0200)
Fix visuals in devtoolsProjectSync if the first non-important PIP has no target


Trivial merge