On 1/11/2024 12:20 PM, Timon Gehr wrote: > Thanks a lot for the incredible amount of work you have invested into D over the > years! It is indeed my pleasure, especially the privilege of working with you guys!