PR1349: https://github.com/mono/mono/pull/1349
*This is the machine key work, and needs a small tweak before it can be
merged that I will do this week.*
I believe the TODO can be removed. Can you do that? See comments on pull
request.
PR1363: https://github.com/mono/mono/pull/1363
Hey Miguel, you forgot to add the files when you manually merged
https://github.com/mono/mono/pull/1365 in
b11044a9a64a6b1eff3a0c79c2da2b2ba78808d3.
-- Alex
From: mig...@xamarin.com
Date: Sat, 1 Nov 2014 20:52:27 -0400
To: monofo...@my2cents.co.uk
CC:
Added
On Sat, Nov 1, 2014 at 9:22 PM, Alexander Köplinger
alex.koeplin...@outlook.com wrote:
Hey Miguel, you forgot to add the files when you manually merged
https://github.com/mono/mono/pull/1365 in
b11044a9a64a6b1eff3a0c79c2da2b2ba78808d3.
-- Alex