I should have been clearer. The build failure which this patch is addressing has already been fixed by bf533ac195d93dc8e30b87d2e931db12e78cd2ec. So it is no longer needed.
« Back to merge proposal
I should have been clearer. The build failure which this patch is addressing has already been fixed by bf533ac195d93dc 8e30b87d2e931db 12e78cd2ec. So it is no longer needed.