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

Propose RFC for Merging PRs #4367

Merged
merged 7 commits into from
Aug 24, 2021
Merged

Commits on Jun 14, 2021

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

Commits on Jun 16, 2021

  1. Configuration menu
    Copy the full SHA
    94f3ae1 View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2021

  1. Configuration menu
    Copy the full SHA
    00aa770 View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2021

  1. Configuration menu
    Copy the full SHA
    72f2bb7 View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2021

  1. Configuration menu
    Copy the full SHA
    53c5b22 View commit details
    Browse the repository at this point in the history
  2. fix: change title of the motivation section

    Co-authored-by: François Hodierne <francois@hodierne.net>
    SudharakaP and znarf committed Jun 22, 2021
    Configuration menu
    Copy the full SHA
    90f0610 View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2021

  1. Configuration menu
    Copy the full SHA
    811bb09 View commit details
    Browse the repository at this point in the history