Norman Feske 7ea7cb2bd2 nitpicker_app.inc: adjust wm -> focus label ...

This patch adjusts the label of the wm's focus session to the explicitly
named label as introduced in the wm pkgs in Genode 19.02.

2019-03-14 12:18:07 +01:00

3.3 KiB

Raw Blame History

View Raw