On Thu, Apr 5, 2018 at 12:32 PM, Johannes Schindelin <johannes.schinde...@gmx.de> 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.
