Skip to content

Commit

Permalink
Fix Elisabeth's GitHub link (#906)
Browse files Browse the repository at this point in the history
This one slipped through #904; we're now getting a 404 when linking to
Elisabeth's github profile.
  • Loading branch information
VojtechStep authored Nov 6, 2023
1 parent bc3335a commit 69a831d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion CONTRIBUTORS.toml
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ displayName = "Elisabeth Stenholm"
maintainer = true
usernames = [ "Elisabeth Stenholm", "Elisabeth Bonnevier" ]
homepage = "https://elisabeth.bonnevier.one"
github = "elisabethbonnevier"
github = "elisabethstenholm"
bio = '''
Elisabeth is a PhD student at the University of Bergen. Her research is on
homotopy type theory.
Expand Down

0 comments on commit 69a831d

Please sign in to comment.