[Pkg-cli-apps-commits] [fsharp] 20/71: Merge https://github.com/fsharp/fsharp into fsharp_31

[Christopher Halse Rogers]

This is an automated email from the git hooks/post-receive script.

raof-guest pushed a commit to tag 3.1.0
in repository fsharp.

commit 2e6616333817b7d65aa293cf91963ef92d44444f
Merge: f95cef4 c8843c2
Author: Don Syme <donsyme at fastmail.fm>
Date:   Thu Nov 28 14:54:27 2013 +0000

    Merge https://github.com/fsharp/fsharp into fsharp_31

 build.bat | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-cli-apps/packages/fsharp.git