[Pkg-cli-apps-commits] [fsharp] 59/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 a2101404c122b8f052d70cf75f26357903f2bd7d
Merge: e1cf395 e748d5b
Author: Don Syme <donsyme at fastmail.fm>
Date:   Mon Dec 23 19:47:10 2013 +0100

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

 config.make.in                                                |  2 +-
 src/fsharp/FSharp.Compiler-proto/FSharp.Compiler-proto.fsproj |  2 +-
 src/fsharp/Fsc-proto/Makefile.in                              |  8 ++------
 src/fsharp/Makefile.in                                        | 10 +++++++++-
 tests/fsharp/core/math/numbersVS2008/test.fsx                 |  5 +++--
 tests/fsharp/core/subtype/test.fsx                            |  3 +++
 tests/fsharp/core/syntax/test.fsx                             |  3 +++
 7 files changed, 22 insertions(+), 11 deletions(-)

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