Re: vector-partition Arthur A. Gleckler 05 Jun 2017 22:38 UTC