diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-10-14 23:54:23 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2017-10-14 23:54:26 +0200 |
| commit | cd69dcafb7320d8cc31939fcd8dc8eab35a56941 (patch) | |
| tree | fe42106fed4bf57d31a1af26b53d32c9af05b515 /thirdparty | |
| parent | ba9486a4d30f1bef11ff3629af67a87c6264f569 (diff) | |
mono: Request monosgen-2 explicitly via pkg-config
Prevents GC mismatch between mono binary and library, fixes #11916.
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions