On Wed, 4 Jul 2018 19:51:39 +0000 Eric Wong <[email protected]> wrote: > I'm not sure how you're seeing > that; did you run public-inbox-index again? I guess I forgot > to document that :x
Um yes, that would be the problem. Oh well, everything's converted now and all's well... Thanks, jon -- unsubscribe: [email protected] archive: https://public-inbox.org/meta/
