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.

Sign up for GitHub

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

Jump to bottom

Add various effective UID and groups operations #21256

Merged
merged 3 commits into from
Nov 14, 2017
Merged

Add various effective UID and groups operations #21256

merged 3 commits into from
Nov 14, 2017

Commits on Nov 5, 2017

  1. Add various effective UID and groups operations

    @jez9999
    jez9999 committed Nov 5, 2017
    Configuration menu
    Copy the full SHA
    e0da5d3 View commit details
    Browse the repository at this point in the history

  2. Fix array type notation

    @jez9999
    jez9999 committed Nov 5, 2017
    Configuration menu
    Copy the full SHA
    ffbf3b1 View commit details
    Browse the repository at this point in the history

  3. Use unions instead of overloads

    @jez9999
    jez9999 committed Nov 5, 2017
    Configuration menu
    Copy the full SHA
    28f78b8 View commit details
    Browse the repository at this point in the history