On 2015-05-22 12:23:32 -0700, Peter Geoghegan wrote:
> On Thu, May 21, 2015 at 5:51 PM, Peter Geoghegan <pg(at)heroku(dot)com> wrote:
> >> So I think we're good with ripping it out. Peter?
> >
> > I'll come up with a patch.
>
> Attached patch rips the command tag out.
Pushed.