-
Rocco Rutte authored
This is necessary to let the mbox driver print useful percentages. If there's no percentage given and we have a size, calculate on it on our own. Closes #2929.
5c4c3fd4
This is necessary to let the mbox driver print useful percentages. If there's no percentage given and we have a size, calculate on it on our own. Closes #2929.