On Tue, Sep 15, 2020 at 01:47:07PM -0400, Robert Treat wrote:
> I think I like targets over servers, since it could be a different
> server or the same server or even the same database, but happy either
> way.
I'd say the opposite here: servers over targets. But that's just one
opinion.
> LMK if you'd like an updated patch. Also I wrote this against master,
> but could verify it against 13 if folks wanted to backpatch (it might
> apply cleanly though)
If you can send a patch, that would be great. As that's an
improvement, I would go for HEAD only.
--
Michael
