Petr

Results 208 comments of Petr

@edgarfgp so we'll need to discuss this - _personally_ I'd like to turn graph-checking on. Now (like, before Xmas) is a rather good time - we can catch some bugs...

Merging, since this goes to a feature branch now.

Alrighty, brilliant job @brianrourkeboll also. Let's merge this all in :) Thanks both!

It is a bulk fix, as per the code fix code, should be good :)

fsharp.org is getting more beautiful every day! Regarding AF#, I'd say it definitely needs a more prominent presence at the web. Not that I know how to do that :)...

Anything interesting from the git blame? (I can also take a look later in the day)

Thanks a lot! This week we have some internal stuff going on so our capacities are lower, hopefully we'll get to all the PRs early next week. You're doing amazing...