Update notes for submitted changes

* releasetools/release.sh: cleanup & enhancements
This commit is contained in:
Gerrit Code Review 2013-07-15 17:09:38 +02:00
parent dd9b5ba6bb
commit 1c2cbed344

View File

@ -0,0 +1,7 @@
Verified+1: Jenkins
Code-Review+2: Ben Gras <ben@minix3.org>
Submitted-by: Ben Gras <ben@minix3.org>
Submitted-at: Mon, 15 Jul 2013 17:09:37 +0200
Reviewed-on: http://gerrit-minix.few.vu.nl/673
Project: minix
Branch: refs/heads/master