You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Although the PR build "failed", the linux side is fixed. This is an improvement. People might be skipping over it when they see the red "X", but it should be merged. I have more changes to submit following this one. Thanks.
On Mon, Feb 18, 2019 at 2:58 PM James E. King III ***@***.***> wrote:
Although the PR build "failed", the linux side is fixed. This is an
improvement. People might be skipping over it when they see the red "X",
but it should be merged. I have more changes to submit following this one.
Thanks.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
<#845>, or mute
the thread
<https://github.com/notifications/unsubscribe-auth/AAD4hg0bMPJlJYMUi09sDJYTJg5rEqnnks5vOrFsgaJpZM4bA7Hb>
.
Although the PR build "failed", the linux side is fixed. This is an improvement. People might be skipping over it when they see the red "X", but it should be merged. I have more changes to submit following this one. Thanks.
#837
The text was updated successfully, but these errors were encountered: