Bug#944993: marked as done (gnome-shell-extension-show-ip: primary-interface patch broke loading the extension)

Your message dated Tue, 19 Nov 2019 15:49:42 + with message-id and subject line Bug#944993: fixed in gnome-shell-extension-show-ip 8-5 has caused the Debian Bug report #944993, regarding gnome-shell-extension-show-ip: primary-interface patch broke loading the extension to be marked as done.

Bug#944993: marked as done (gnome-shell-extension-show-ip: primary-interface patch broke loading the extension)

Your message dated Mon, 18 Nov 2019 15:21:39 + with message-id and subject line Bug#944993: fixed in gnome-shell-extension-show-ip 8-5~exp1 has caused the Debian Bug report #944993, regarding gnome-shell-extension-show-ip: primary-interface patch broke loading the extension to be marked as