Re: bitvector vs u1vector John Cowan 22 May 2018 23:45 UTC