• leo vriska
      link
      fedilink
      English
      11 year ago

      The PR hadn’t been reviewed and was merged by mistake, from my understanding.

      • XL☑
        link
        fedilink
        English
        4
        edit-2
        1 year ago

        PR #3249 got reviewed, approved and then merged by Nutomic and then reverted by dessalines because …

        @TKilFree This got wrongly merged without a PR from me. You’ll need to re-open it.

        Whatever that means …