Skip to content

Conversation

@dsyme
Copy link
Contributor

@dsyme dsyme commented Dec 10, 2015

#488 was a problem with massively over checking timestamps in the presence of cross-project references.

dsyme added a commit that referenced this pull request Dec 11, 2015
@dsyme dsyme merged commit e92ef99 into fsharp:release-1.4.2-series Dec 11, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant