On 05/03/2019 11:39, Dan Carpenter wrote:
On Tue, Mar 05, 2019 at 11:32:18AM +0000, Ian Abbott wrote:
On 05/03/2019 11:10, Dan Carpenter wrote:
On Mon, Mar 04, 2019 at 02:33:54PM +0000, Ian Abbott wrote:
The problem was reported on the COMEDI mailing list here: https://groups.google.com/forum/#%21topic/comedi_list/4t9WlHzMhKM
Can you give Ivan a Reported-by tag? It's a public mailing list so that shouldn't be a problem.
I can do, but I don't know his full name. Will that be a problem?
Nah, it's not a problem. People should fix their email headers to reflect what they want to be called.
Or you could ask but I don't think I have ever asked for someone's name I've always just gone with their email header name.
In this case, Ivan just signed off with that name and it didn't appear in the email headers.