Re: [PATCH 14/16] gmime-cleanup: no longer need to use GMime major version during build

2019-05-02 Thread Daniel Kahn Gillmor
On Thu 2019-05-02 07:10:10 -0300, David Bremner wrote: > Daniel Kahn Gillmor writes: > >> Signed-off-by: Daniel Kahn Gillmor >> --- >> configure | 4 >> 1 file changed, 4 deletions(-) > > I think I'll squash this, and probably the next two into my initial > patch. Any objections?

Re: [PATCH 14/16] gmime-cleanup: no longer need to use GMime major version during build

2019-05-02 Thread David Bremner
Daniel Kahn Gillmor writes: > Signed-off-by: Daniel Kahn Gillmor > --- > configure | 4 > 1 file changed, 4 deletions(-) I think I'll squash this, and probably the next two into my initial patch. Any objections? d ___ notmuch mailing list

[PATCH 14/16] gmime-cleanup: no longer need to use GMime major version during build

2019-05-01 Thread Daniel Kahn Gillmor
Signed-off-by: Daniel Kahn Gillmor --- configure | 4 1 file changed, 4 deletions(-) diff --git a/configure b/configure index 8775f6a7..0b65630e 100755 --- a/configure +++ b/configure @@ -497,7 +497,6 @@ if pkg-config --exists "gmime-3.0 > $GMIME3_MINVER"; then have_gmime=1