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.
>
> cheers ./daniel
Regards,
Ivan
