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
