tools/RELEASE.md |  9 +++++----
 tools/release.py | 28 ++++++++++++++++------------
 2 files changed, 21 insertions(+), 16 deletions(-)