Attention is currently required from: Nico Huber, Angel Pons, Nikolai Artemiev.

View Change

2 comments:

• Commit Message:

  • Patch Set #2, Line 12: Still the bug is not fixed :(

    The types can't help us because an underflow or a negative `bp_max - 2` both […]

    Done

• File tags:

  • Patch Set #2:

    Did you mean to add this file?

    Sorry, that was added by mistake.

To view, visit change 62733. To unsubscribe, or for help writing mail filters, visit settings.