]> Sergey Matveev's repositories - public-inbox.git/commitdiff
projects / public-inbox.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 6313d8b)
lei: track seen messages to note duplicates
authorEric Wong <e@80x24.org>
Thu, 7 Jul 2022 09:40:30 +0000 (09:40 +0000)
committerEric Wong <e@80x24.org>
Thu, 7 Jul 2022 09:47:58 +0000 (09:47 +0000)
This may help track down deduplication or other bugs in lei
which lead to occasionally missing messages.

Link: https://public-inbox.org/meta/CAL_JsqJH8xx_2NyZffNsRXbGXiv3kjmCETvKXt3Yfb0uToLm9Q@mail.gmail.com/

No differences found
My patches to https://public-inbox.org/public-inbox.git