Updated comment about PostGIS bug 2035

PostGIS 2.0.2 has been released on December 3rd 2012, with the
fix included.