2017-12-18 21:17 GMT+02:00 Victor Yegorov <vyegorov@gmail.com>:
2017-12-15 18:35 GMT+02:00 Devrim Gündüz <devrim@gunduz.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