Re: bitvector vs u1vector John Cowan 27 Aug 2018 18:31 UTC