Re: proposed patch to expand-abbrev in abbrev.c

[Richard Stallman]

    I think `expand-abbrev', should modify abbrevs-changed if it increments the
    usage counter of an abbrev. Maybe a better solution would be to set it to
    "'trivially" or use a secondary variable if this would be annoying to people
    that don't have (setq save-abbrevs 'quietly).

I think that additional change is important--could you add that part?