tree 91bad08a19e3e3de7fb87d1259adb23342ace006
parent 010d7c72c316f0ee4ac5a2e25b6d441c3d84a8d5
parent 0279c2fc706910d02a6c6bf3464a3fb0810abd77
author Dave Rodgman <dave.rodgman@arm.com> 1613486271 +0000
committer GitHub <noreply@github.com> 1613486271 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJgK9i/CRBK7hj4Ov3rIwAAdHIIAJRQ2nlSe5j5vJPbI8P9yhPk
 wfTyGlC87Epp34WYuXVzHWaNk0CM6rk0vUwPr67TF6RA8JqSnRPBRroFlC5yVpr4
 MSMqVaBIPPqx7IcC7qJqsAknW92OPRgjs6eLrqM/Cae3+MJB9xXS6dBL+opxzkUY
 EFFVIRJi2JKj6rUCA8jC5MBYpwhsteSBvcBiZjp5nGum5yNVwWHj/0YVLpqkgLh5
 jN0kx1TTkHSE4qAWL0ij/OGc5UGxo59auX3xIKDWjVAI5ULHwD4usEZNs1KCt6AR
 grcggrp02Ykg+34WaFN/9x2+GkH8X6P8BAw/XBiAS4lwjREQI4zr7RZVkUSD64Y=
 =iFtY
 -----END PGP SIGNATURE-----
 

Merge pull request #4136 from daverodgman/ssl-opt-gnutls-priority

ssl-opt.sh: add --priority=normal to gnutls-serv