| commit | 1f43c59d68a9c01a2154334f0552e5ef0cc90276 | [log] [tgz] |
|---|---|---|
| author | David Tolnay <dtolnay@gmail.com> | Sun Sep 30 20:20:04 2018 -0700 |
| committer | GitHub <noreply@github.com> | Sun Sep 30 20:20:04 2018 -0700 |
| tree | 56fabf90aae6a0197a0f73707531c447cf166862 | |
| parent | 06b46b5be7bd7658760de814a097c8cd221ba13f [diff] | |
| parent | 04366410a722f5dff352bd1290b7e4162627840c [diff] |
Merge pull request #509 from jchlapinski/master allow 'proc' as identifier, as per RFC-2420