[Pkg-cli-apps-commits] [fsharp] 41/71: Merge branch 'fsharp_31' of 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 1ccc8d934a0d3e578f27f4c24d280127d38b8243
Merge: e75ce44 0d805e9
Author: Don Syme <donsyme at fastmail.fm>
Date:   Fri Nov 29 23:04:50 2013 +0000

    Merge branch 'fsharp_31' of https://github.com/fsharp/fsharp into fsharp_31

 src/fsharp/FSharp.Build-proto/FSharp.Build-proto.fsproj | 1 -
 src/fsharp/Fsc-proto/Fsc-proto.fsproj                   | 1 -
 tests/fsharp/core/run-all.sh                            | 0
 3 files changed, 2 deletions(-)

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