This repository was archived by the owner on Jun 21, 2023. It is now read-only.

Highlight checked out PR in list. - #1106

Merged

jcansdale merged 11 commits into

feature/highlight-current-pr

Mar 5, 2018