Subject: Re: [bug#36638] [PATCH 1/2] gnu: Add websocketpp.

From: Ludovic Courtès <[email-masked]>
Date: Mon, 15 Jul 2019 18:21:10 +0200

Hello,

[email-masked] (Jakob L. Kreuze) skribis:

> * gnu/packages/web.scm (websocketpp): New variable.

[...]

> +(define-public websocketpp
> +  (package
> +   (name "websocketpp")
      ^
I indented with an extra space here…

> +   (synopsis "C++ library implementing the WebSocket protocol.")
                                                                ^
… and removed this period.  :-)

Applied, thanks!

Ludo’.