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

Fix #13521 #13537

Merged
merged 2 commits into from
Dec 5, 2018
Merged

Fix #13521 #13537

merged 2 commits into from
Dec 5, 2018

Commits on Dec 4, 2018

  1. fix pool release

    @zhreshold
    zhreshold committed Dec 4, 2018
    Configuration menu
    Copy the full SHA
    8aed7ea View commit details
    Browse the repository at this point in the history

  2. fix

    @zhreshold
    zhreshold committed Dec 4, 2018
    Configuration menu
    Copy the full SHA
    d6278cb View commit details
    Browse the repository at this point in the history