Commit 49dcc023 authored by Thomas Greiner's avatar Thomas Greiner

Issue 7287 - Use placeholders to insert URLs into devtools_panel_url string

parent c58770c1
Pipeline #47702195 passed with stages
in 8 minutes and 13 seconds