[boost] [review] Review of PolyCollection is finished, thanks!

Subject: [boost] [review] Review of PolyCollection is finished, thanks!
From: Ion Gaztañaga (igaztanaga_at_[hidden])
Date: 2017-05-18 18:56:57

Hi,

The review period for PolyCollection has come to an end. Thanks to all 
participants for submitting their reviews, and sharing their insights. 
All votes have been positive, so congratulations to Joaquín, 
PolyCollection will be accepted.

I will collect all the suggestions, fixes and change proposals during 
this weekend and post an official result announcement in a few days.

I encourage everyone to continue discussing further issues that can 
improve the library in the mailing list.

Best,

Ion, review manager