[Mono-dev] Finalize problem
Ludovic Henry (XAMARIN)
luhenry at microsoft.com
Wed Dec 13 18:53:19 UTC 2017
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.
From: Mono-devel-list [mailto:mono-devel-list-bounces at lists.dot.net] On Behalf Of Neale Ferguson
Sent: Wednesday, December 13, 2017 7:34 AM
To: Mono-Devel <mono-devel-list at lists.ximian.com>
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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Mono-devel-list