diff --git a/docs/RELEASE-PROCEDURE b/docs/RELEASE-PROCEDURE index cf074dcc65660aa8efb4af530441900acd18c7bd..fc31274e82d6c433a8788a7717a52fe3e39211c9 100644 --- a/docs/RELEASE-PROCEDURE +++ b/docs/RELEASE-PROCEDURE @@ -1,9 +1,3 @@ - _ _ ____ _ - ___| | | | _ \| | - / __| | | | |_) | | - | (__| |_| | _ <| |___ - \___|\___/|_| \_\_____| - curl release procedure - how to do a release ============================================