Closed mina86 closed 2 years ago
Instead of using 8/5 ratio (i.e. 1.6) when estimating the length of the encoded output use 1.5 which is closer to the actual 1.37 and produces simpler expression.
bors r+
Merge conflict.
bors retry
Build succeeded:
Instead of using 8/5 ratio (i.e. 1.6) when estimating the length of the encoded output use 1.5 which is closer to the actual 1.37 and produces simpler expression.