bug#37923: closed ([PATCH 0/2] gnu: profanity: Add configure flags and inputs for better defaults.)

[GNU bug Tracking System]

Your message dated Mon, 28 Oct 2019 11:31:07 +0100
with message-id <address@hidden>
and subject line Re: [bug#37923] [PATCH v3 1/4] gnu: profanity: Add configure 
flags and inputs for better defaults.
has caused the debbugs.gnu.org bug report #37923,
regarding [PATCH 0/2] gnu: profanity: Add configure flags and inputs for better 
defaults.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
37923: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=37923
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/2] gnu: profanity: Add configure flags and inputs for better defaults.
>
>
>
>
> Date: 
>
> Fri, 25 Oct 2019 17:17:11 +0200
>
>
>
>
> User-agent: 
>
> NeoMutt/20180716
>
>
>
>
> This makes OMEMO and desktop notifications available.
> As Jack mentioned [1], the home page was redirected. I've updated it.
>
> [1]: https://lists.gnu.org/archive/html/guix-devel/2019-10/msg00610.html
>
> -- 
> Tanguy
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#37923] [PATCH v3 1/4] gnu: profanity: Add configure flags and inputs for better defaults.
>
>
>
>
> Date: 
>
> Mon, 28 Oct 2019 11:31:07 +0100
>
>
>
>
> User-agent: 
>
> mu4e 1.2.0; emacs 26.3
>
>
>
>
> Hello Tanguy,
>
> Pushed with minor changes in commit log and title.
>
> Thanks,
>
> Mathieu
>
>
> --- End Message ---