Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
Already on GitHub? Sign in to your account
resources: Fix broken link to Resources page #1497
Conversation
wbnns
added
the
Merge Scheduled
label
Jan 31, 2017
wbnns
self-assigned this
Jan 31, 2017
wbnns
merged commit e3f2ff0
into
master
Jan 31, 2017
wbnns
deleted the
wbnns-fix-menu branch
Jan 31, 2017
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
wbnns commentedJan 31, 2017
This fixes a missing link to the Resources page as noted in #1495.
// Fixes #1495