On Sat, 15 Oct 2016 22:24:31 -0400,
Tom Lane <tgl@sss.pgh.pa.us> wrote:
> Sebastian Luque <spluque@gmail.com> writes:
>> Tom Lane <tgl@sss.pgh.pa.us> wrote:
>>> Are you in a position to apply patches? It's a one-line fix:
>>> https://git.postgresql.org/gitweb/?p=postgresql.git;a=commitdiff;h=dca25c2562199ce1e7e26367613912a8eadbbde8
>> I'd like to try this by obtaining the Debian source package,
>> downloading and applying patches such as this one, and then
>> rebuilding. However, I don't know how best to download the patches
>> from the URL above. If I click on the "patch" link, I'm simply taken
>> to the section where this is shown on the screen. What's the
>> procecure to download these patches?
> Clicking the "patch" link and then doing "save to file" in your
> browser should produce a file that will work as a patch.
Thanks, I had completely missed the "patch" link right at the top of the
page, so was only seeing the ones below the message, which work
differently. It all works with the top link.
--
Seb