[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#13107: timestamp bug when files are created just before make is run
|
From: |
Karl Berry |
|
Subject: |
bug#13107: timestamp bug when files are created just before make is run |
|
Date: |
Sat, 11 Jul 2020 19:23:45 -0600 |
Given the zero response, it seems undesirable to add even minor
complexity to support something which may no longer be needed.
Closing. -k
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#13107: timestamp bug when files are created just before make is run,
Karl Berry <=