Skip to content

Update navigation items to reflect active priorities#297

Merged
danielbachhuber merged 1 commit into
masterfrom
update-nav
Aug 17, 2017
Merged

Update navigation items to reflect active priorities#297
danielbachhuber merged 1 commit into
masterfrom
update-nav

Conversation

@danielbachhuber

Copy link
Copy Markdown
Member

@danielbachhuber danielbachhuber merged commit 2c47d93 into master Aug 17, 2017
@danielbachhuber danielbachhuber added this to the 1.4.0 milestone Aug 17, 2017
@danielbachhuber danielbachhuber deleted the update-nav branch August 17, 2017 21:45
schlessera pushed a commit that referenced this pull request Jan 25, 2022
Update navigation items to reflect active priorities
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant