diff options
| author | Bryan Newbold <bnewbold@robocracy.org> | 2018-05-06 20:12:05 -0700 |
|---|---|---|
| committer | Bryan Newbold <bnewbold@robocracy.org> | 2018-05-06 20:12:40 -0700 |
| commit | 1e5933b2f940f66962de576ef4f06ed9f4f30507 (patch) | |
| tree | 67223af9b44835628f7d8dd028606763b52b8a7e /.gitignore | |
| parent | 23fa355409a9d13da30e33886ad3de9ff2f093ef (diff) | |
| download | dat-deps-1e5933b2f940f66962de576ef4f06ed9f4f30507.tar.gz dat-deps-1e5933b2f940f66962de576ef4f06ed9f4f30507.zip | |
fix numbering race condition
... quick, before anybody notices! :)
DEP-0003 (HTTP Pinning Service API) was merged weeks ago, but I hadn't
merged to my local repo.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions