Your message dated Wed, 29 Nov 2017 16:15:18 +0100
with message-id <1765f7b3-bad6-33cc-f2f3-802180563d8d@tobias.gr>
and subject line 
has caused the debbugs.gnu.org bug report #26386,
regarding [PATCH 0/1] Update the connection script of openconnect (and vpnc?)
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
26386: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=26386
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems