diff leim/ChangeLog @ 38342:8bcd8791cf6d

(add_to_log): Do nothing if called asynchronously.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 10 Jul 2001 10:44:19 +0000
parents 7a5e9d959331
children 519983161a46
line wrap: on
line diff