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 /proposals | |
| 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 'proposals')
| -rw-r--r-- | proposals/0004-hyperdb.md (renamed from proposals/0003-hyperdb.md) | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/proposals/0003-hyperdb.md b/proposals/0004-hyperdb.md index 1158e4e..d551b64 100644 --- a/proposals/0003-hyperdb.md +++ b/proposals/0004-hyperdb.md @@ -1,7 +1,7 @@ -Title: **DEP-0003: Hyperdb** +Title: **DEP-0004: Hyperdb** -Short Name: `0003-hyperdb` +Short Name: `0004-hyperdb` Type: Standard |