Closed andrewdunsworth closed 8 years ago
@andrewdunsworth, did you really merge a commit based on your LGTMing your own PR? Did someone else either take a look at or submit this PR?
I was in on this, Andrew and I worked together on this.
On Thu, Jul 21, 2016 at 8:37 PM, Jim Wenner notifications@github.com wrote:
@andrewdunsworth https://github.com/andrewdunsworth, did you really merge a commit based on your LGTMing your own PR? Did someone else either take a look at or submit this PR?
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/martinisgroup/servers/pull/360#issuecomment-234446963, or mute the thread https://github.com/notifications/unsubscribe-auth/AIeWlxjSd52cgD_9pqAftnOMk-GA4Ek4ks5qYDrsgaJpZM4JSYux .
OK, thanks.
LGTM.