BUG #12578: row_to_json() and to_json() add 'T' in timestamp field.

The following bug has been logged on the website:

Bug reference: 12578
Logged by: Yoong Hor Meng
Email address: yoonghm(at)gmail(dot)com
PostgreSQL version: 9.4.0
Operating system: Linux Ubuntu
Description:

I built the binary manually instead of apt-get instal

row_to_json and to_json replace the space between date and time.

However a post in
http://www.postgresql.org/message-id/CACfv+pLDzZji5C3iS=arBmq074Yi3Ez-+g8pzYF+Qr0dwU=cnQ@mail.gmail.com

shows that other wanted 'T' separater in the date-time string.

To simulate the problem with to_json():

postgres=# select to_json(now());
to_json
-----------------------------------
"2015-01-17T17:35:19.47211+08:00"
(1 row)

postgres=# select row_to_json(row(now()));
row_to_json
{"f1":"2015-01-17T17:52:57.387618+08:00"}
(1 row)