Skip to content
Commit 777e0c14 authored by anonym's avatar anonym
Browse files

Work-around robustness issue introduced in #12738.

Our "custom" Root Terminal from #12738 is shown as a search result for
"GNOME Terminal", leading to it being incorrectly picked some times.
parent 4a39064c
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment