On Wed, 2023-05-10 at 12:10 -0700, Paul Eggert wrote: > This is a followup to my earlier patch "Two 'make -p' timestamp > issues" <https://lists.gnu.org/r/bug-make/2023-03/msg00081.html> > which hasn't been incorporated yet into the master branch.
Thanks Paul I'll look at it this weekend.
