Your message dated Mon, 21 May 2018 22:54:49 +0200
with message-id <87bmd8686e.fsf@igel.home>
and subject line Re: bug#31545: xwidget-webkit-execute-script does not protect script against GC
has caused the debbugs.gnu.org bug report #31545,
regarding xwidget-webkit-execute-script does not protect script against GC
to be marked as done.

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


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