Skip to content
This repository has been archived by the owner on May 16, 2023. It is now read-only.

7.8.0 Release #673

Merged
merged 2 commits into from
Jun 18, 2020
Merged

7.8.0 Release #673

merged 2 commits into from
Jun 18, 2020

Commits on Jun 18, 2020

  1. [meta] bump to 7.8.0

    @jmlrt
    jmlrt committed Jun 18, 2020
    Configuration menu
    Copy the full SHA
    94e94e1 View commit details
    Browse the repository at this point in the history

  2. [meta] remove dev version mention

    @jmlrt
    jmlrt committed Jun 18, 2020
    Configuration menu
    Copy the full SHA
    0ddfef0 View commit details
    Browse the repository at this point in the history