tree aea8591adcb6ce46cae175ec9a37e91da8f2966d
parent ba36c0111a5bdb216055525ff81d03fba055a99a
author Joshua Haberman <jhaberman@gmail.com> 1596144115 -0500
committer GitHub <noreply@github.com> 1596144115 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJfIznzCRBK7hj4Ov3rIwAAdHIIAARnrm9u96Iu+kVtmLzdC08c
 gxdS6+SSJ6t2Ky2WE3HtSHfByPbruENOeC/XwwnZRE6cFvx9K2l1dWxNGORWpbXO
 UICfuVlZUEbUZEzNmE96cM/u5KAuNGdyhWMC9DWuVLgkSB3pFSZxuGNOCifcqYaP
 QAOBkkQ329ZDVy8yc6fLaZkcOZ0vE2DOXD3DadR3efPB8O1OTmHBFQMrP2w/K8Qg
 fHbPnk4FXDMh5e5wyBLgGciH8njlNGl0w/j2o50OiHzFeUDiCJq4ERrvEgWEKhtr
 jpBeiKl12nZz+Hs1Pcn16s4iIv60UggN6EGq+eG9llbttJOuonT3xVEpUkgvhh4=
 =H1iJ
 -----END PGP SIGNATURE-----
 

Fixed compile_extension.sh --release to actually enable optimization. (#7766)