On 02/16/2017 02:14 PM, Alexey Shipunov wrote:
But reporting error not (only) in stdout but (also) to stderr should
be really helpful!

That sounds like a better idea.




Reply via email to