W3C home > Mailing lists > Public > public-webrtc@w3.org > August 2016

Re: [webrtc-pc] Merged Pull Request: Improve error handling for IdP proxy interactions

From: Dominique Hazael-Massieux <dom@w3.org>
Date: Tue, 16 Aug 2016 14:27:18 +0200
To: Harald Alvestrand <harald@alvestrand.no>, public-webrtc@w3.org
Message-ID: <0e88a7f9-3335-c6f5-a20f-923257d615e5@w3.org>
On 16/08/2016 14:20, Harald Alvestrand wrote:
> On 08/12/2016 04:04 AM, Martin Thomson wrote:
>> On 12 August 2016 at 00:13, Harald Alvestrand via GitHub
>> <sysbot+gh@w3.org> wrote:
>>> martinthomson has just merged pull request
>> I find these emails a little confusing.  Harald is the one who merged
>> the PR, I just wrote it.  Maybe the PR can be attributed to me.
>>
> 
> Me too. The Github seems to have it right, and the correct name is in
> the From.
> 
> Dom, is this a sysbot+gh error?

Yes, one that I have meant to fix for a while; now fixed :)
https://github.com/dontcallmedom/github-notify-ml/commit/f830c2fe0b9b6df539f9eeb4546501418c0a0e8c

Dom
Received on Tuesday, 16 August 2016 12:27:23 UTC

This archive was generated by hypermail 2.3.1 : Monday, 23 October 2017 15:19:49 UTC