[Dune-devel] Dedicating the 2.6 release to Elias Pipping

[Felix Gruber]

On 10/20/2017 11:53 AM, Oliver Sander wrote:
> Dear release managers, dear all,
> 
> here's a RFC: I would like to dedicate the upcoming release
> to Elias Pipping, who passed away earlier this month at the
> untimely age of 31.  Something like a small dedication note
> somewhere at the top of the release page /release announcement,
> etc.  What do you guys think?

I would be in favor of this dedication.
The release announcement and the top of the download/release notes page
for the next release would be a good place for that.

Best,
Felix