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

Companion for #5877 #1123

Merged
merged 3 commits into from
May 21, 2020
Merged

Companion for #5877 #1123

merged 3 commits into from
May 21, 2020

Commits on May 21, 2020

  1. Fixed point methods renames.

    @marcio-diaz
    marcio-diaz committed May 21, 2020
    Configuration menu
    Copy the full SHA
    8620593 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into md-fixed-point-companion

    @shawntabrizi
    shawntabrizi committed May 21, 2020
    Configuration menu
    Copy the full SHA
    2a0e290 View commit details
    Browse the repository at this point in the history

  3. Bump

    @gavofyork
    gavofyork committed May 21, 2020
    Configuration menu
    Copy the full SHA
    bc00165 View commit details
    Browse the repository at this point in the history