Learn more about cloning repositories
You have read-only access
Merge pull request #2891 from martin-frbg/fix-2886 Fix several bugs and omissions from the BFLOAT16 rename
