Closed cgruber closed 13 years ago
Check, and awesome.
Can you check if your branch is merged with HEAD? There seems to be a conflict--I may not have time to look into it, but if you do, I can merge from the web. Thanks.
I just noticed it moments ago, and I'm doing the merge right now.
Christian.
On Jun 13, 2011, at 10:53 AM, dsaff wrote:
Can you check if your branch is merged with HEAD? There seems to be a conflict--I may not have time to look into it, but if you do, I can merge from the web. Thanks.
Reply to this email directly or view it on GitHub: https://github.com/dsaff/truth/pull/13#issuecomment-1360600
MErged - sorry about that.
Christian.
On Jun 13, 2011, at 10:53 AM, dsaff wrote:
Can you check if your branch is merged with HEAD? There seems to be a conflict--I may not have time to look into it, but if you do, I can merge from the web. Thanks.
Reply to this email directly or view it on GitHub: https://github.com/dsaff/truth/pull/13#issuecomment-1360600
OK, will merge with outstanding design questions noted (and responded to, as time permits...)