Prove the exceptional single-hub literal charge is 48. - #4124

Prove the exceptional single-hub literal charge is 48.#4124

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

unpaidmoon:cursor/single-hub-two-bearing-ab52unpaidmoon/integer-mult-bounds:cursor/single-hub-two-bearing-ab52Copy head branch name to clipboard