[GeoJSON] properties on FeatureCollection objects.

[Calvin Metcalf]

It might make sense to clarify whether a properties object can be in a
feature collection, currently since you can have any extra values in there
you can put a properties object there. Instead I'd suggest a adding a
paragraph to the feature collection def which says

    A feature collection object MAY have a member with the name
"properties". The
    value of the properties member is an object (any JSON object or a
    JSON null value).

yes technically redundant but on the other hand there quite a few questions
on stack exchange asking just this, plus depending on how the CRS discution
goes, feature collection level properties might be the most sense
to communication information about the data in the feature collection.

I can submit a pull request once I get to a computer that has haskel
installed on it.
-- 
-Calvin W. Metcalf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.geojson.org/pipermail/geojson-geojson.org/attachments/20130517/280c6c7b/attachment.htm>