These are chat archives for
Sign in to start talking
Source code for the CodeContracts tools for .NET
Dec 30 2015 02:53 UTC
Commits were made as recently as 11 days ago. I imagine it is just the holidays that is resulting in not much action:
Dec 30 2015 08:40 UTC
: Last commit was in November 20, not December 20.
Dec 30 2015 10:51 UTC
What would be required to get the error messages working again in vs2015? And is there any chance of having pull requests accepted? There already seems to be a backlog in the merging of pull requests.
Dec 30 2015 13:04 UTC
is busy, but developments isn't stopped. So if you can help project by creating pull request - do it.