Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

R4R: Consistent Operators #3679

Merged
merged 9 commits into from
Feb 21, 2019
Merged

R4R: Consistent Operators #3679

merged 9 commits into from
Feb 21, 2019

Commits on Feb 19, 2019

  1. Configuration menu
    Copy the full SHA
    0698161 View commit details
    Browse the repository at this point in the history
  2. pending

    rigelrozanski committed Feb 19, 2019
    Configuration menu
    Copy the full SHA
    16824f9 View commit details
    Browse the repository at this point in the history
  3. Update PENDING.md

    Co-Authored-By: rigelrozanski <[email protected]>
    alexanderbez and rigelrozanski authored Feb 19, 2019
    Configuration menu
    Copy the full SHA
    88cac6e View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    111a64a View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2019

  1. Configuration menu
    Copy the full SHA
    e98e5ce View commit details
    Browse the repository at this point in the history
  2. fix

    rigelrozanski committed Feb 20, 2019
    Configuration menu
    Copy the full SHA
    7127dfe View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2019

  1. Configuration menu
    Copy the full SHA
    2801a57 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    6d04765 View commit details
    Browse the repository at this point in the history
  3. typo

    rigelrozanski committed Feb 21, 2019
    Configuration menu
    Copy the full SHA
    b15806d View commit details
    Browse the repository at this point in the history