Subject: Re: bug#32160: auto compile fails to recompile when included source files change

From: Mark H Weaver <[email-masked]>
Date: Thu, 02 Aug 2018 17:01:20 -0400

Mark H Weaver <[email-masked]> writes:

> My response to Arun Isaac <[email-masked]> was rejected
> by his mail server:
[...]
> If someone could let him know about this issue, I would be grateful.

[email-masked] kindly forwarded my messages to Arun, so there's no
need for anyone else to do it now.  Thanks, Tomas!

      Mark