On Sun, Feb 10, 2019 at 9:20 AM Magnus Hagander <magnus@hagander.net> wrote:
> I thought we created withdrawn partially for that very reason. I've marked one of them as withdrawn at least as a
start, it's better than duplicate.
I suppose these things happen. It's not worth worrying about beyond
marking one of the dups as withdrawn.
Thanks
--
Peter Geoghegan