It is not fixed. In the thread you linked to people are confusing a typo correct...

		AnssiH 34 days ago \| parent \| context \| favorite \| on: F-Droid build servers can't build modern Android a... It is not fixed. In the thread you linked to people are confusing a typo correction ("mas fixed" => "was fixed") as a claim about this new issue being fixed. The one that was fixed is this similar old issue from years ago: https://issuetracker.google.com/issues/172048751

Oh, that's unfortunate, very confusing thread.