> On Jun 13, 2017, at 4:54 AM, Tobias Pape <
[hidden email]> wrote:
>
>
> The builds should now finally be all green again.
>
> With that said, Eliot, Nicolas, Esteban (and everyone I forgot),
> Isn't this a good opportunity to merge into Master and do a tag there?
Yes. For me I'd love to see a paragraph somewhere that specifies exactly what to do, including the tag name convention.