To me it seems obvious that we should be updating Mono to 4.x.

Are we also supposed to vote on how this should be done? The change proposal contains two options for doing so.

The discussion thread includes links to the official Fedora policy on bootstrapping compilers. That's the correct way to do things and should simply be followed. (Short version: it allows using a pre-compiled binary to build the system the first time, but then everything needs to be rebuilt by the compiler that was built from source).

I'd like the Change Proposal owners to update the proposal to reflect this plan, however.

Replying to [comment:2 sgallagh]:

The discussion thread includes links to the official Fedora policy on bootstrapping compilers.

The change proposal doesn't say whether they will update step by step (which wouldn't require a pre-compiled binary), or whether they will directly jump to version 4. Should we ask them to clarify that? Or are we fine with letting the doers do whatever they want.

From today's FESCo meeting:

<sgallagh> rishi: That's been sorted out on an FPC ticket
<sgallagh> They're going to do a bootstrap using monolite from Mono 4

18:16 < dgilmore> #agreed Mono 4 change is accpeted (+:8,-:0,0:0)

At todays FESCo meeting we accepted the Mono 4 Change for Fedora 23