On 24/02/2017 00:34, Mandy Chung wrote:
On Feb 23, 2017, at 4:32 PM, Remi Forax <fo...@univ-mlv.fr> wrote: Hi Mandy, I prefer that semantics. In the code, you can remove the ".stream()”.Good catch. I will remove it before I push.
Looks okay to me too. -Alan
