Re: Closed-lambda -> dynamic-lambda Marc Nieper-Wißkirchen 31 May 2018 15:09 UTC