[shark] branch debian/master updated (a93a05f -> 4f8f5d3)

[Ghislain Vaillant]

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

ghisvail-guest pushed a change to branch debian/master
in repository shark.

      from  a93a05f   Release to unstable.
      adds  1b78608   New upstream version 3.1.4+ds1
       new  4abf40c   Updated version 3.1.4+ds1 from 'upstream/3.1.4+ds1'
       new  92243e5   Add missing Built-Using metadata for the docs
       new  fd60b8f   Add support for the nodoc build profile
       new  539f2f7   Build the docs with Python 3
       new  a500fda   Bump the standards version to 4.1.1
       new  4f8f5d3   Release to unstable

The 6 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 Test/RBM/GaussianLayer.cpp        |   2 +-
 Test/Rng/Rng.cpp                  |   2 -
 debian/changelog                  |  10 ++
 debian/control                    |  11 +-
 debian/rules                      |   4 +
 include/shark/Models/Normalizer.h |   8 --
 include/shark/Rng/Dirichlet.h     | 214 --------------------------------------
 include/shark/Rng/GlobalRng.h     |  12 ---
 8 files changed, 22 insertions(+), 241 deletions(-)
 delete mode 100644 include/shark/Rng/Dirichlet.h

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