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

General purpose name collision diagnostic #982

Merged
merged 4 commits into from
Dec 7, 2023
Merged

General purpose name collision diagnostic #982

merged 4 commits into from
Dec 7, 2023

Commits on Dec 7, 2023

  1. New NameCollision diagnostic

    @markwpearce
    markwpearce committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    1bce893 View commit details
    Browse the repository at this point in the history

  2. fixed some diagnostic related info for global collisions

    @markwpearce
    markwpearce committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    6dfd671 View commit details
    Browse the repository at this point in the history

  3. Repurposed and fixed same name in global namespace

    @markwpearce
    markwpearce committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    97e5345 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'release-0.66.0' into general_purpose_name_collision_dia… 

    …gnostic
    @TwitchBronBron
    TwitchBronBron committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    8229934 View commit details
    Browse the repository at this point in the history