2017-12-18 21:17 GMT+02:00 Victor Yegorov <vyegorov(at)gmail(dot)com>:
> 2017-12-15 18:35 GMT+02:00 Devrim Gündüz <devrim(at)gunduz(dot)org>:
>>
>> I have no idea whether this patch may break other parts of Skytools or
>> not, so
>> not sure.
>
>
> I've made another change than, that fixes PG version detection in the
> sql/txid/Makefile.
> With this patch I got `skytools` build fine here.
>
Devrim,
Do you think my 2nd patch is good to be merged?
--
Victor Yegorov