Google Summer of Code 2019

[Till Westmann]

Hi,

Google Summer of Code 2019 is getting started and I'm wondering if there are
projects we'd like to mentor (and who would like to do that).

Cheers,
Till