bug#65251: 30.0.50; Duration in compilation buffer

[Helmut Eller]

On Thu, Aug 17 2023, Eli Zaretskii wrote:

> It sounds like you reject all of Mattias's comments?  That's somewhat
> unusual around here.  Does that above mean that you insist on
> submitting your original patch with no further changes, or will you be
> sending an updated patch?

I can submit an updated patch, if it is wanted.  But it didn't sound
like that me.  I can also continue using compilation-finish-functions in
my .emacs, if that's easier for you.

Helmut