Sorry. The earlier email was a false alarm. It was just stored in the cache.
So I fixed it in a messy way. It is now inferred.

radames changed pull request status to closed

Sign up or log in to comment