Re: [arch-dev-public] Time to go

Thanks Paul, and good luck, personally and professionally. I owe you and hope to someday shake your hand. Dieter