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 /doc/classes/InputMap.xml | |
parent | ba9486a4d30f1bef11ff3629af67a87c6264f569 (diff) |
mono: Request monosgen-2 explicitly via pkg-config
Prevents GC mismatch between mono binary and library, fixes #11916.
Diffstat (limited to 'doc/classes/InputMap.xml')
0 files changed, 0 insertions, 0 deletions