This issue is very trivial and only appearance-related.

Agree. Would it be enough to simply pipe stderr to /dev/null to hide the error on other systems?

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.