Warn if an old patch couldn't be downloaded.#1137

Merged

floitsch merged 1 commit intomainfrom floitsch/warn-if-missing-base

Jun 27, 2024

+3-1

Commits on Jun 27, 2024

Warn if an old patch couldn't be downloaded.
floitsch
committed