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

View Change

1 comment:

• Commit Message:

  • Patch Set #3, Line 13:

    and paves way
    to remove the 'programmer' global handle.
    

    That would be one option, yes. I'm fine with dropping this part. […]

    OK, done.

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