Skip to content
This repository was archived by the owner on Feb 15, 2022. It is now read-only.

Fix key in HeaderNavigation #389

Closed
wants to merge 1 commit into from

Conversation

jonludlam
Copy link
Member

No description provided.

@vercel
Copy link

vercel bot commented May 28, 2021

This pull request is being automatically deployed with Vercel (learn more).
To see the status of your deployment, click below or on the icon next to each commit.

🔍 Inspect: https://vercel.com/ocaml/v3-ocaml-org/EhJBXbFYT9JUpnbrE1c5pwePviQt
✅ Preview: https://v3-ocaml-org-git-fork-jonludlam-header-navigation-key-ocaml.vercel.app

@jonludlam
Copy link
Member Author

This will be redundant with @tmattio's PR #385

@jonludlam jonludlam closed this May 28, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant