On Thu, Apr 5, 2018 at 12:32 PM, Johannes Schindelin <Johannes.Schindelin@xxxxxx> wrote: > Hi Wink, > Note: I have nothing to do with including it. That is the sole discretion > of Junio (who is offline for a week or two, if I understood correctly). > > Ciao, > Johannes txs, I understand.
