Re: json vs. JSON

[Chen Li]

In today's weekly meeting Mike mentioned the idea of getting rid of
the "circle" data type.  It will be good to have a F2F discussion
before we make the final decision.

Chen