Skip to content
This repository has been archived by the owner on Sep 11, 2024. It is now read-only.

Default intentional mentions #11602

Merged
merged 5 commits into from
Sep 14, 2023
Merged

Default intentional mentions #11602

merged 5 commits into from
Sep 14, 2023

Commits on Sep 12, 2023

  1. Default intentional mentions

    @Johennes
    Johennes committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    578a64f View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2023

  1. wait for autocomplete to settle before submitting edit

    Kerry Archibald committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    7a16ccd View commit details
    Browse the repository at this point in the history

  2. lint

    Kerry Archibald committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    0a84670 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'develop' into johannes/default-intentional-mentions

    Kerry authored Sep 14, 2023
    Configuration menu
    Copy the full SHA
    19bedf0 View commit details
    Browse the repository at this point in the history

  4. Update strings

    @Johennes
    Johennes committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    ec71d29 View commit details
    Browse the repository at this point in the history