Skip to content
This repository was archived by the owner on Oct 4, 2023. It is now read-only.

Conversation

navjotk
Copy link
Member

@navjotk navjotk commented May 25, 2021

No description provided.

@FabioLuporini
Copy link
Contributor

Thanks, merging!

@FabioLuporini FabioLuporini merged commit 6a3277b into master Sep 20, 2021
@FabioLuporini FabioLuporini deleted the add_navjotsphd branch September 20, 2021 23:03
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.

2 participants