Skip to content

Commit f20b76d

Browse files
committed
added Phil as co-author
1 parent e9abde2 commit f20b76d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

erc20.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
ERC20: Formal Executable Specification
22
======================================
33

4-
Author: [Grigore Rosu](http://fsl.cs.illinois.edu/grosu)
4+
Authors: [Philip Daian](http://pdaian.com/) and [Grigore Rosu](http://fsl.cs.illinois.edu/grosu)
55

66
Date: November 28, 2017
77

0 commit comments

Comments
 (0)