> On 10 May 2019, at 12:24, Michael Paquier <mich...@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
