Re: RFR: 8153293 - Stream API: Preserve SORTED and DISTINCT characteristics for boxed() and asLongStream() operations

On 12 Apr 2016, at 18:37, Tagir F. Valeev <amaembo@gmail.com> wrote:

Hello!

Thank you, Stefan and Paul for review. Here's updated webrev:

http://cr.openjdk.java.net/~tvaleev/webrev/8153293/r2/

Looks good. I will push for you this week. Paul.