Emanuele Bardelli <[email protected]> writes:
>> On Jul 18, 2017, at 4:43 AM, Haroon <[email protected]> wrote:
>> Hopefully the original poster files the bug report. I would myself but am
>> not running 10.13, so it could prove problematic if they want follow up
>> details.
> 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.
I think dups are actually a good thing --- they result in the merged bug
report getting higher priority. So you didn't waste your time filing it.
(It is annoying that nobody except the first reporter gets any real
tracking information, though :-(.)
regards, tom lane
_______________________________________________
Do not post admin requests to the list. They will be ignored.
X11-users mailing list ([email protected])
Help/Unsubscribe/Update your Subscription:
https://lists.apple.com/mailman/options/x11-users/archive%40mail-archive.com
This email sent to [email protected]
