[vector] Remove Vector.random/single/toList

[Yang Zhang (Arm Technology China)]

Hi Paul

Thanks for your quick response. It looks good to me.

Regards
Yang

-----Original Message-----
From: panama-dev <panama-dev-bounces at openjdk.java.net> On Behalf Of Paul Sandoz
Sent: Wednesday, October 30, 2019 3:00 AM
To: panama-dev at openjdk.java.net
Subject: [vector] Remove Vector.random/single/toList

Here is a patch to remove Vector.random/single/toList:

  http://cr.openjdk.java.net/~psandoz/panama/vector-remove-method/webrev/ <http://cr.openjdk.java.net/~psandoz/panama/vector-remove-method/webrev/>

I also fixed some typos.

Thanks,
Paul.