filecoin-project / FIPs

The Filecoin Improvement Proposal repository
315 stars 165 forks source link

correct Title FIP number #1056

Closed lanzafame closed 2 months ago

lanzafame commented 2 months ago

FIP-0009 was title with FIP-0008

lanzafame commented 2 months ago

The title of 0015 makes it fairly obvious but happy to add that to this PR to make the changes clear.

Happy to open a PR for 0003 and 0090 later, unless you want it @rvagg?