Thread:Project:Support desk/ Compilation failed: group name must start with a non-digit at offset/reply (2)

Thanks! So I'm supposed to install this patch: https://git.wikimedia.org/patch/mediawiki%2Fcore.git/b9f291e8cd5bb1450f7b1031aa17cf7775aa7e96 ? Is that right? How do I install something like that? What part of it is the actual patch?