> On 13 Dec 2017, at 11:05, Ivan E. Panchenko <i.panchenko@postgrespro.ru> wrote:
>
> 13.12.2017 12:26, Daniel Gustafsson пишет:
>>> On 13 Dec 2017, at 10:12, Dave Page <dpage@pgadmin.org> wrote:
>>>
>>> Hi,
>>>
>>> I have no objections, however I'm also extremely short of time right now, as I'm only in the office for a couple
moredays before Christmas and already have a huge backlog. If someone else can pick this up it would be a big help.
>> The markup in the patch looks fine, there are however two small typos that
>> should be fixed before pushing:
>>
>> +including its old versions, provides automatic server preconfiguraion based
>>
>> s/preconfiguraion/preconfiguration/
>>
>> +sources are avaiable at github.
>>
>> s/avaiable/available/
>>
>> Further, since GitHub is a name I think we should capitalize it as they do (ie
>> GitHub).
> Daniel, thanks for your corrections. Sorry for the misprints.
> The improved patch is attached.
No worries. Updated patch looks good to me.
cheers ./daniel