On Tue, 18 Jul 2017, Emanuele Bardelli wrote:
I did file a bug report but it got closed because it’s was duplicate of #32665552. It looks like I will just have to wait to see if a future update fixes the issue.
Please keep us updated.
_______________________________________________ Do not post admin requests to the list. They will be ignored. X11-users mailing list (X11-users@lists.apple.com) Help/Unsubscribe/Update your Subscription: https://lists.apple.com/mailman/options/x11-users/archive%40mail-archive.com This email sent to arch...@mail-archive.com