On 03/08/2016 11:17 AM, Tom Lane wrote:
> On the whole, I'd rather that this patch left the non-Windows side alone.
OK, that's why I raised the issue. We'll do it that way.
As I noted upthread, the sed script has been very stable so the overhead
of having to maintain two scripts is pretty minimal.
cheers
andrew
