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

re-merge reset PR #1987

Merged
merged 2 commits into from
Jun 18, 2018
Merged

re-merge reset PR #1987

merged 2 commits into from
Jun 18, 2018

Commits on Jun 18, 2018

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