Re: [Mono-dev] Finalize problem

2017-12-13 Thread Ludovic Henry (XAMARIN) via Mono-devel-list
Hi Neale,

Yes you are correct in the fact we are transitioning to GitHub issues in place 
of Bugzilla for Mono related bugs. We will keep an eye on both for the 
foreseeable future, and I can’t make any promise on what’s the future of 
Bugzilla; it will remain readable for the world, but might not be writable 
anymore.

Thank you,

--
Ludovic

From: Mono-devel-list [mailto:mono-devel-list-boun...@lists.dot.net] On Behalf 
Of Neale Ferguson
Sent: Wednesday, December 13, 2017 7:34 AM
To: Mono-Devel 
Subject: [Mono-dev] Finalize problem

Did I understand correctly and we now use issues rather than Bugzilla for 
reporting problems? I raised the following a few days ago wrt to crashing 
during finalizer processing that seems related to a recent change. 
https://github.com/mono/mono/issues/6208

Neale
___
Mono-devel-list mailing list
Mono-devel-list@lists.dot.net
http://lists.dot.net/mailman/listinfo/mono-devel-list


[Mono-dev] Finalize problem

2017-12-13 Thread Neale Ferguson
Did I understand correctly and we now use issues rather than Bugzilla for 
reporting problems? I raised the following a few days ago wrt to crashing 
during finalizer processing that seems related to a recent change. 
https://github.com/mono/mono/issues/6208

Neale
___
Mono-devel-list mailing list
Mono-devel-list@lists.dot.net
http://lists.dot.net/mailman/listinfo/mono-devel-list