-
Eugene M. Kim authored
The source is one of the two update_*.txt files. Create unconditionally, because the $(update) value may change from time to time and there is no way to determine if it has changed.
dedddbc0
The source is one of the two update_*.txt files. Create unconditionally, because the $(update) value may change from time to time and there is no way to determine if it has changed.