[tools] master update

[Dr. Paul Dale]

The branch master has been updated
       via  dca934dedad04b7ba72542f0aefbeb54e22e55e1 (commit)
      from  e3587da72ead14568de95a8fb1cf8198f71e4200 (commit)


- Log -----------------------------------------------------------------
commit dca934dedad04b7ba72542f0aefbeb54e22e55e1
Author: Dr. Matthias St. Pierre <Matthias.St.Pierre at ncp-e.com>
Date:   Fri Oct 4 01:17:38 2019 +0200

    cherry-checker: fix column alignment
    
    Since GitHub pull request numbers went from 4-digit to 5-digit numbers,
    the table output looked ragged. This commit fixes the alignment.
    
    Reviewed-by: Paul Dale <paul.dale at oracle.com>
    (Merged from https://github.com/openssl/openssl/pull/44)

-----------------------------------------------------------------------

Summary of changes:
 review-tools/cherry-checker | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/review-tools/cherry-checker b/review-tools/cherry-checker
index 318eee6..8e476f3 100755
--- a/review-tools/cherry-checker
+++ b/review-tools/cherry-checker
@@ -145,8 +145,8 @@ if __name__ == '__main__':
   ->  {right}
   ==  both
 
- prnum | fixes | br |   commit   |   subject
- ----- | ----- | -- | ---------- | -------------------------------------------""".format(
+ prnum  | fixes  | br |   commit   |   subject
+------- | ------ | -- | ---------- | -------------------------------------------""".format(
          left = left,
          right = right))
 
@@ -154,8 +154,8 @@ if __name__ == '__main__':
 
     try:
         for prnum, fixes, _, branch, commit, subject in commits:
-            print(' #{:>4} | {:>5} | {} | {} | {} '.format(
-                prnum, fixes, branch_marker[branch], commit, subject
+            print(' {:>6} | {:>6} | {} | {} | {} '.format(
+                '#'+prnum, fixes, branch_marker[branch], commit, subject
             ))
     except subprocess.CalledProcessError as e:
         print(e, file=sys.stderr)