bump md-addins for another race condition fix
Bump md-addins again
Merge remote-tracking branch 'origin/master' into splash2
Bump md-addins
Merge remote-tracking branch 'origin/master' into splash2
Merge remote-tracking branch 'origin/master' into splash2
Bump md-addins
Merge remote-tracking branch 'origin/master' into splash2
Bump md-addins
Bump md-addins for some race condition fixes
Bump md-addins
Bump md-addins again
Bump md-addins!!
bump md-addins to fix a regression
Merge remote-tracking branch 'origin/master' into splash2
Updated package version to 4.1.3
Updated add-ins version to 4.1.3
Updated required md-addins revision to tagged commit
[Ide] Fix exception cancelling code insertion cursor
Merge remote-tracking branch 'origin/master' into splash2

Conflicts:
	version-checks