[Pkg-cli-apps-commits] [fsharp] 06/09: Merge tag 'upstream/3.0.31+dfsg'

[Christopher Halse Rogers]

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

raof-guest pushed a commit to branch master
in repository fsharp.

commit b6c082768635294d4512c729719e2a2e1cd539c4
Merge: 4d6e159 4ebad94
Author: Christopher James Halse Rogers <raof at ubuntu.com>
Date:   Sat Dec 7 18:45:23 2013 +0000

    Merge tag 'upstream/3.0.31+dfsg'
    
    Upstream version 3.0.31+dfsg
    
    # gpg: Signature made Sat 07 Dec 2013 18:45:22 GMT using RSA key ID E5923C18
    # gpg: Good signature from "Christopher James Halse Rogers <chalserogers at gmail.com>"
    # gpg:                 aka "Christopher James Halse Rogers <raof at ubuntu.com>"
    # gpg:                 aka "Christopher James Halse Rogers <christopher.halse.rogers at canonical.com>"
    # gpg:                 aka "Christopher James Halse Rogers <chris at cooperteam.net>"
    # gpg:                 aka "Christopher James Halse Rogers <chris at cooperteam.net>"

 .gitattributes    | 9 ++++-----
 .gitignore        | 4 +++-
 src/fsharp/fsc.fs | 6 ++++--
 3 files changed, 11 insertions(+), 8 deletions(-)

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