22 Oct
2018
22 Oct
'18
8:34 a.m.
Hi Martin, On Mon, 2018-10-22 at 14:00 +0000, Doerr, Martin wrote:
Hi Thomas,
this looks like a nice cleanup. Thanks for improving. Your changes look correct.
thanks for your review Thomas