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/#!topic/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.