diff options
author | Costa Tsaousis <costa@tsaousis.gr> | 2018-09-11 20:45:30 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-11 20:45:30 +0300 |
commit | 25b771190af2a6369a4daa0e01e15348d6f1f261 (patch) | |
tree | ed12762a2f2d7ebb5bad717d9752a13c01eccf41 /CONTRIBUTORS.md | |
parent | ba2e5827a39c03099f8e07a603594cb259cda078 (diff) | |
parent | 75a90bd1b11bd882b6a860307de229dd62df981e (diff) |
Merge pull request #4095 from pjz/patch-1
Optimize counting of recusive pins
Diffstat (limited to 'CONTRIBUTORS.md')
-rw-r--r-- | CONTRIBUTORS.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md index 38d0625dc2..a8ddcb9da4 100644 --- a/CONTRIBUTORS.md +++ b/CONTRIBUTORS.md @@ -110,3 +110,4 @@ username|name|email (optional) @illes|Illes S.| @plasticrake|Patrick Seal @jonfairbanks|Jon Fairbanks +@pjz|Paul Jimenez|pj@place.org |