Very late Fedora 30 change considered: Mono 5

There is a discussion in a FESCo ticket whether we should update to Mono 5 in Fedora 30. This is absurdly late considering out change process, but the argument is that it cannot be any worse than it currently is. https://fedoraproject.org/wiki/Changes/Mono_5 https://pagure.io/fesco/issue/2105 Please participate in the discussion in the ticket if you have relevant arguments for either doing this or not. Thanks, -- Miro Hrončok -- Phone: +420777974800 IRC: mhroncok