> On 3 Oct 2021, at 01:27, Daniel Gustafsson wrote:
>
>> On 3 Oct 2021, at 00:39, Kevin Burke wrote:
>
>> Updated patch that removes the "Maybe"
>
> Thanks, I’ll take care of this tomorrow along with Rachels patch.
I was off-by-one on date, but it's been pushed to master now. Thanks!
--
Dan
Updated patch that removes the "Maybe"
--
Kevin Burke
phone: 925-271-7005 | kevin.burke.dev
On Sat, Oct 2, 2021 at 11:19 AM Tom Lane wrote:
> Daniel Gustafsson writes:
> >> On 2 Oct 2021, at 02:09, Kevin Burke wrote:
> >> This patch amends the error message to give help to the user.
>
> > I
> On 3 Oct 2021, at 00:39, Kevin Burke wrote:
> Updated patch that removes the "Maybe"
Thanks, I’ll take care of this tomorrow along with Rachels patch.
./daniel
Daniel Gustafsson writes:
>> On 2 Oct 2021, at 02:09, Kevin Burke wrote:
>> This patch amends the error message to give help to the user.
> I think this makes sense,
+1. I'd take out the "Maybe"; the diagnosis seems pretty certain.
regards, tom lane
> On 2 Oct 2021, at 02:09, Kevin Burke wrote:
> This patch amends the error message to give help to the user.
I think this makes sense, and is in line with Rachels patch [0] a few days ago
that I plan on pushing; small error hints which wont get in the way of
established developers, but which ca
I got the error message in the subject and was unsure how to continue; I
didn't see any hits for the error message on the mailing list, and it was
hard to determine from the context around the error in the
Makefile.global.in about the best way to solve the problem.
This patch amends the error mess
