It doesn't hurt to ask, just to be sure.
Not to just butt in the topic like this, but since it seems like there have been quite a few topics lately related to patching questions, much like there is now a pinned topic in Gaming Discussion, "Does anyone know what game this is?", perhaps there could be a similar topic for patching questions to prevent a whole bunch of similar threads?
Examples still currently on page 1 of the Newcomer's Board, including this one now:
Though it might not be necessary. Just a random thought.
There's no given that it would prevent people from making individual threads anyway (like how we see the occasional personal introduction thread
) and it might not get enough regular activity to warrant existing.
Readme files can also make sure to be clear and informative enough to provide the specific patching details. Not to say that they aren't, but there might be readme files out there that aren't.