Skip to content

BI -> Bi, to match our convention

Ralf Jung requested to merge ralf/bi into gen_proofmode

This breaks downstream, which is why I am going through an MR.

Merge request reports