> On 10 May 2019, at 12:24, Michael Paquier <michael@paquier.xyz> wrote:
>
> On Fri, May 10, 2019 at 11:02:52AM +0200, Julien Rouhaud wrote:
>> I just noticed that reindexdb could report an extraneous message
>> saying an error happened while reindexing a database if it failed
>> reindexing a table or an index.
>>
>> Trivial fix attached.
>
> Oops. That's true, nice catch. This is older than 9.4, so it needs
> to go all the way down. Let's fix this. Do others have any comments?
Nice catch indeed, LGTM.
cheers ./daniel