Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Update mono (2019-12-13) #1958
Updates Mono to a build that hopefully includes the new client websocket support.
Instead of doing the upgrade manually, I've finally added a script that does it, plus updated the instructions to describe the process of using that script. @javiercn @pranavkm Could you please check these instructions and let me know if you think this is sufficient for someone other than me to do a future upgrade? I don't mind doing it, but it's better if the whole team is enabled to do so.
I checked, and the app sizes and perf numbers are more or less the same as before.
However, with this build,
@anurse Now this is merged here, the change will propagate to the