Generality creep

[Mike Franklin]

On Monday, 1 April 2019 at 00:01:04 UTC, Mike Franklin wrote:

> When I was reviewing, it was always in the back of my mind "Are 
> Walter and Andrei going to scold me if I merge this?", 
> especially after they did once. In a way, we do work on behalf 
> of Andrei and Walter and we wnat
>
> Mike

Oops, meant to delete that, but now I'm obliged to finish.

...want them to approve.

Mike