ghmerge: Pass --tools and --web to addrev
authorTomas Mraz <tmraz@fedoraproject.org>
Tue, 8 Dec 2020 15:51:04 +0000 (16:51 +0100)
committerTomas Mraz <tmraz@fedoraproject.org>
Thu, 17 Dec 2020 08:59:59 +0000 (09:59 +0100)
commit51ba5bc2c18780f94136c71800afc3cf8fd32d40
tree6577530434c0e134c70bc9d8d2cfed9c66c8eea2
parent6305ba8fded75d8dcc410caae0a22c712228b721
ghmerge: Pass --tools and --web to addrev

Reviewed-by: Paul Dale <paul.dale@oracle.com>
Reviewed-by: David von Oheimb <david.von.oheimb@siemens.com>
(Merged from https://github.com/openssl/tools/pull/80)
review-tools/ghmerge