Join GitHub today
Add $navicon-link-color-hover 1/2 #1089
The easiest way is to fork, create a new branch from
You can also keep pushing commits to this branch, though looking up above looks like you might have deleted the source branch.
It's a cleaner merge if it's all in one PR, something this small doesn't need to be broken up into multiple PRs.