Info on name changes in /gcheck

Issue #237 resolved
Anna Bakker created an issue

Adding info on name changes similar to segfault's #!history when /gchecking

Comments (2)

  1. Anna Bakker reporter

    Instead of listing all previous names and notes on them, it counts how many previous names have been recorded and how many notes are on them. Then says how many there are if any, and to use /history for more information.

  2. Log in to comment