On Tue, Jan 22, 2019 at 05:31:10AM +0000, xuyandong wrote: > Hi Bjorn and Michael > > After trying to reproduce the problem for a whole day, the bug did not show up > any more. So I think the new patch does solve this problem. Thank you very much for testing this! I'd like to give you the appropriate credit in the changelog, but I don't know exactly how your name should be spelled and capitalized. Is the following what you want? If not, let me know and I'll correct it. Reported-by: xuyandong <xuyandong2@xxxxxxxxxx> Tested-by: xuyandong <xuyandong2@xxxxxxxxxx> Bjorn
