closing old collection issues

Hi Stian

I am proposing to close very old issues that had been left pending (my fault) and that come from you. It seems to me they have all 
been superseded by recent versions, incl. today's.
These are:
http://www.w3.org/2011/prov/track/issues/135
http://www.w3.org/2011/prov/track/issues/136
http://www.w3.org/2011/prov/track/issues/137
http://www.w3.org/2011/prov/track/issues/138

Thanks,


-Paolo

Received on Wednesday, 28 March 2012 13:53:16 UTC