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