diff options
| author | nosami <jasonimison@gmail.com> | 2015-12-15 15:43:39 +0300 |
|---|---|---|
| committer | nosami <jasonimison@gmail.com> | 2015-12-15 15:43:39 +0300 |
| commit | 5dd4015a02e72f2f9c2f2fb34f69c0d24adcef9a (patch) | |
| tree | c41cab52a3f2e4dfecbb9e870cb5b88c5b28dbad /main | |
| parent | af78be67005999fcb8479eea3c4aadbbe4b42eaa (diff) | |
bump fsharpbinding - replace GuiDispatch with Runtime.RunInMainThread
Diffstat (limited to 'main')
| m--------- | main/external/fsharpbinding | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/main/external/fsharpbinding b/main/external/fsharpbinding -Subproject b2a3b8f811d119ffb9275d681bc4c3800a95a0c +Subproject a4c3b6b5f7d700625e6eacfcaade3fd966ba7e8 |