[shark] 36/79: Merge branch 'master' of https://github.com/Shark-ML/Shark

[Ghislain Vaillant]

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

ghisvail-guest pushed a commit to branch master
in repository shark.

commit b437aae33cf2263c25e3d5aee6187ecef025d06d
Merge: 2c61366 081337e
Author: Tobias Glasmachers <tobias.glasmachers at ini.rub.de>
Date:   Fri Oct 30 13:33:09 2015 +0100

    Merge branch 'master' of https://github.com/Shark-ML/Shark

 include/shark/Core/DLLSupport.h | 1 +
 1 file changed, 1 insertion(+)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/shark.git