On Tue, May 28, 2019 at 10:45 AM Peter Stephenson <p.stephenson@samsung.com>
wrote:

> On Mon, 2019-05-27 at 22:51 +0100, Peter Stephenson wrote:
> > As you'll see I'm not set up for a properly literate reply, but I
> > presume Bart has been busy and hasn't had a chance to look again -
> > presumably it's at least more likely to work than it was and this
> > should go in. I'll try to remember when I get back to a computer
> > tomorrow if no one else has.
>
> I've cherry-picked the head of prompt-indent2.
>

Thanks, Peter!