Closed namurphy closed 5 years ago
We have just accepted a few PLEPs and are voting on others, so this pull request aims to update PLEP 0 which is our PLEP index, and also to make other formatting changes.
We have just accepted a few PLEPs and are voting on others, so this pull request aims to update PLEP 0 which is our PLEP index, and also to make other formatting changes.