Bug#850672: ITP: gnome-shell-extension-show-ip -- Shows the urrent private or public IP address in the GNOME Shell status drop-down menu

[Jeff Epler <jepler@unpythonic.net>]

On Mon, Jan 09, 2017 at 11:16:48AM +0200, Kyle Robbertze wrote:
>   Description     : A GNOME Shell Extesion that shows the urrent private or 
                                                            ^ insert "c"
>                     public IP address in the status drop-down menu

Aside from the trivial typo, I think it would be good if the description states
that to determine the "public IP address", a non-Free service
(http://ipinfo.io) is used by default. (yes, I understand that using some sort
of public service is essentially the only way to portably find the "public IP
address" of a system)

Jeff