Skip to content

Update float subrepo

micah requested to merge update_float into master

This branch updates the upstream float subrepo, and adjusts our configurations to match the upstream renames.

Note: this MR depends on !16 (closed) being merged first

Merge request reports