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. regards, dan carpenter