Re: Clarifying bitvector-pad Shiro Kawai 28 Aug 2023 22:56 UTC