diff BUGS @ 35174:96c7c0a356aa

(push_message_unwind): New function.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 09 Jan 2001 13:45:38 +0000
parents af68d12218d0
children 8ce686bd7f4f
line wrap: on
line diff