Coverage remained the same at 100.0% when pulling 3ddc6b6e3bd2c8d0fb7f5efdfa645fc993451794 on mathroc:patch-1 into d82aec3c90c020d69c99d13c8dacddb4585a18f7 on hoaproject:master.
Coverage remained the same at 100.0% when pulling 60a2f406b5f1cb06c00ab9d83208225a8e849db4 on mathroc:patch-1 into d82aec3c90c020d69c99d13c8dacddb4585a18f7 on hoaproject:master.
fix
and
examplenot sure about "the left option" but since the other one is called "the right option", it seems odd to just call the first one "the option"