diff options
| author | Eric Wong <e@80x24.org> | 2019-12-21 08:00:06 +0000 |
|---|---|---|
| committer | Eric Wong <e@80x24.org> | 2019-12-22 03:56:17 +0000 |
| commit | 61550976b8ff52ba3e621caa5b9c450bf34801ff (patch) | |
| tree | 45bbd1f9bc77bd10382f4afda154c838a1e37986 /script/public-inbox-purge | |
| parent | a18fb89880ca33ae9dfbf751014157b6756fd88a (diff) | |
| download | public-inbox-61550976b8ff52ba3e621caa5b9c450bf34801ff.tar.gz | |
Introduce hdr_msgid_range_i, which does the same thing as the anonymous sub it replaces.
Diffstat (limited to 'script/public-inbox-purge')
0 files changed, 0 insertions, 0 deletions