
<html>


<head>


<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


</head>


<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">


FYI / Woo hoo!<br class="">


<div><br class="">


<blockquote type="cite" class="">


<div class="">Begin forwarded message:</div>


<br class="Apple-interchange-newline">


<div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class="">


<span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">From:


</b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class="">Wesley Bland <<a href="mailto:notifications@github.com" class="">notifications@github.com</a>><br class="">


</span></div>


<div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class="">


<span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">Subject:


</b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class=""><b class="">Re: [mpi-forum/mpi-issues] Deprecate MPI_SIZEOF in MPI-4.0 (#51)</b><br class="">


</span></div>


<div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class="">


<span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">Date:


</b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class="">December 6, 2018 at 9:36:08 AM PST<br class="">


</span></div>


<div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class="">


<span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">To:


</b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class="">mpi-forum/mpi-issues <<a href="mailto:mpi-issues@noreply.github.com" class="">mpi-issues@noreply.github.com</a>><br class="">


</span></div>


<div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class="">


<span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">Cc:


</b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class="">Jeff Squyres <<a href="mailto:jsquyres@cisco.com" class="">jsquyres@cisco.com</a>>, Author <<a href="mailto:author@noreply.github.com" class="">author@noreply.github.com</a>><br class="">


</span></div>


<div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class="">


<span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">Reply-To:


</b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class="">mpi-forum/mpi-issues <<a href="mailto:reply+00096b64036b386a95564345ed3bc1dc70a6f58a497148d192cf000000011821200892a169ce08dce4c1@reply.github.com" class="">reply+00096b64036b386a95564345ed3bc1dc70a6f58a497148d192cf000000011821200892a169ce08dce4c1@reply.github.com</a>><br class="">


</span></div>


<br class="">


<div class="">


<p class="">Passed second vote at San Jose meeting in December 2018</p>


<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;" class="">—<br class="">


You are receiving this because you authored the thread.<br class="">


Reply to this email directly, <a href="https://github.com/mpi-forum/mpi-issues/issues/51#issuecomment-444960373" class="">


view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAlrZIz7WWdRm7AbgiwVfu_VVbJZ0Y10ks5u2VWIgaJpZM4IIcGX" class="">


mute the thread</a>.<img src="https://github.com/notifications/beacon/AAlrZLojfupaVXs1A3ckQUCfFfkYo9iJks5u2VWIgaJpZM4IIcGX.gif" height="1" width="1" alt="" class=""></p>


</div>


</blockquote>


</div>


<br class="">


<div class="">


<div dir="auto" style="color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">


<div dir="auto" style="color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">


<div dir="auto" style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">


<div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">


<div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;">


<br class="Apple-interchange-newline">


-- </div>


<div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;">


Jeff Squyres</div>


<div style="color: rgb(0, 0, 0); font-family: Helvetica; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;">


<a href="mailto:jsquyres@cisco.com" class="">jsquyres@cisco.com</a></div>


</div>


</div>


</div>


</div>


</div>


<br class="">


</body>


</html>