[DRE-commits] [gitlab-ce] 05/05: Merge tag 'upstream/7.12.2+debian'

[Praveen Arimbrathodiyil]

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

praveen pushed a commit to branch master
in repository gitlab-ce.

commit 9c98267a3fcb4093999a84bb59de4f5862bffe92
Merge: 58494fa 7eb1d48
Author: Praveen Arimbrathodiyil <praveen at debian.org>
Date:   Mon Jul 20 21:43:59 2015 +0530

    Merge tag 'upstream/7.12.2+debian'
    
    Upstream version 7.12.2+debian
    
    # gpg: Signature made Monday 20 July 2015 09:43:52 PM IST using RSA key ID 4512C22A
    # gpg: Good signature from "Praveen Arimbrathodiyil (piratepin) <praveen at debian.org>"
    # gpg:                 aka "Pirate Praveen (pirates.org.in) <praveen at onenetbeyond.org>"
    # gpg:                 aka "Pirate Praveen (piratesin) <me at j4v4m4n.in>"
    # gpg:                 aka "Pirate Praveen (PP) <praveen at privacyrequired.com>"
    # gpg:                 aka "Praveen Arimbrathodiyil (j4v4m4n) <pravi.a at gmail.com>"

 bin/spring | 15 ---------------
 1 file changed, 15 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ruby-extras/gitlab-ce.git