From: Bruno Haible <bruno@cl...> - 2004-03-23 11:05:45
I committed this patch. But I left *print-symbols-long* because it's already
documented, and it's weird to remove documented entities.
2004-03-04 Bruno Haible <bruno@...>
* io.d (pr_symbol): If *print-readably* is true, assume
*print-symbols-long* to be true as well.
Suggested by Paul Dietz <paul.f.dietz@...>.