Skip to content

Commit 1a58ff1

Browse files
committed
🧹 chore(nye-proof-specs): ack
1 parent 69e1281 commit 1a58ff1

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎content/post/nye-proof-specs.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -85,7 +85,7 @@ Hopefully, implementation teams will keep enriching specs with any new invariant
8585

8686
Specs shouldn't whisper invariants. They should _yell_ them.
8787

88-
_Thanks to [Dan](https://github.com/danceratopz), [Ignacio](https://github.com/jsign), [Justin](https://github.com/jtraglia), and [Kev](https://github.com/kevaundray) for discussions and feedback._
88+
_Thanks to [Dan](https://github.com/danceratopz), [Ignacio](https://github.com/jsign), [Justin](https://github.com/jtraglia), [Kev](https://github.com/kevaundray), and [Pari](https://github.com/parithosh) for discussions and feedback._
8989

9090
## References
9191

0 commit comments

Comments
 (0)