Josef Atmin Mon, 04 Sep 2017 10:36:48 -0700
Hello, the problem with the external monitor has gone away, the bug report may be closed.
Josef.
