Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Postgresql 12 build #368
After thinking about it, and looking at the code, I've decided to push it using
That's the safe route to take.
I have tried to figure out the maxima by reading the code; I must have made a mistake somewhere.