Update to Mono 5.12 - Githubissues

flathub / org.freedesktop.Sdk.Extension.mono5

2 stars 3 forks source link

Closed nedrichards closed 6 years ago

nedrichards commented 6 years ago

New mono is available! We should likely update! There are two apps that use this extension on flathub currently, openra and gbrainy.

@Unrud @jordimas is this something that would be useful to you?

Unrud commented 6 years ago

is this something that would be useful to you?

There's no rush.