Tool changes
Changes to gg.var/naming-memory, newest first.
No change seen yet: servers are rescanned every day, and a change shows up here when their tools or endpoint differ.
Changes to gg.var/naming-memory, newest first.
No change seen yet: servers are rescanned every day, and a change shows up here when their tools or endpoint differ.