page moved

[tromp]

My old homepage at www.cwi.nl/~tromp/ was terminated and moved to tromp.github.io/
Please update your links. Thanks!

[qu1j0t3]

I'll update the repo. What about your email address?

thanks
Toby

[tromp]

dear Toby,

I'll update the repo. What about your email address?

Still john.tromp@gmail as always.
I guess I should also track down any references to the old [email protected]
and get rid of those...

regards,
-John

[qu1j0t3]

On 21/01/15 5:25 PM, John Tromp wrote:

dear Toby,

I'll update the repo. What about your email address?

Still john.tromp@gmail as always.
I guess I should also track down any references to the old [email protected]
and get rid of those...

Yes, I'll do that in the fhourstones repo.

Thanks for confirming,
--Toby

regards,
-John

—
Reply to this email directly or view it on GitHub
#1 (comment).