You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: _posts/2020-04-20-welcome-to-netverify.md
+1-1Lines changed: 1 addition & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -20,6 +20,6 @@ The site of course cannot succeed without community engagement. If you work in t
20
20
21
21
Contributing to the site is easy. Send pull requests to [its GitHub repository](https://github.com/netverify/netverify.github.io) with new articles or additions/corrections to existing ones; open issues for topics you would like to see covered; and participate in discussions about published articles. You are also welcome to drop us a line if you need a sounding board for your contribution ideas.
22
22
23
-
We are launching netverify.fun site with [a piece that captures our view on network verification research](XXXX), and we have a great line up of articles in the pipeline.
23
+
We are launching netverify.fun site with [a piece that captures our view on network verification research](https://netverify.fun/current-state-of-research/), and we have a great line up of articles in the pipeline.
0 commit comments