Documentation: Update DEVELOP.md about the release procedure
#42
| Job | Run time |
|---|---|
| 1m 39s | |
| 1m 39s |
DEVELOP.md about the release procedure
#42
| Job | Run time |
|---|---|
| 1m 39s | |
| 1m 39s |