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

Fixes issue with re-opening closed PRs #21384

Merged
merged 1 commit into from Sep 25, 2020
Merged

Fixes issue with re-opening closed PRs #21384

merged 1 commit into from Sep 25, 2020

Commits on Sep 25, 2020

  1. fixed issue with re-open closed PRs

    @darangi
    darangi committed Sep 25, 2020
    Copy the full SHA
    166fde8 View commit details
    Browse the repository at this point in the history