[pocl] branch master updated (2503999 -> 11dbe30)

[Andreas Beckmann]

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

anbe pushed a change to branch master
in repository pocl.

      from  2503999   finalize changelog for pocl (0.13-8)
       new  17a7d3e   work around using clang-3.8 with libstdc++-7-dev
       new  d9c1a21   update symbols files after gcc 7 was made the default
       new  b07df82   switch to debhelper compat level 10
       new  ae8230e   Standards-Version: 4.0.1
       new  ecbb740   do not mark the -dev packages as Multi-Arch: foreign
       new  79ffd2b   drop empty README.source
       new  a45798b   rename docs -> pocl-opencl-icd.docs
       new  3e5cf46   move kernel-<triplet>.bc from libpocl1-common into libpocl1
       new  3d9af32   switch to dh_missing
       new  11dbe30   finalize changelog for pocl (0.13-9)

The 10 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:
 debian/README.source                  |  9 -----
 debian/changelog                      | 13 +++++++
 debian/compat                         |  2 +-
 debian/control                        | 13 ++++---
 debian/libpocl1-common.install        |  2 +-
 debian/libpocl1.install               |  1 +
 debian/libpocl1.symbols               | 69 ++++++++++++++++++++++++-----------
 debian/patches/libstdc++-7-dev.patch  | 16 ++++++++
 debian/patches/series                 |  1 +
 debian/{docs => pocl-opencl-icd.docs} |  0
 debian/rules                          | 11 +++++-
 11 files changed, 96 insertions(+), 41 deletions(-)
 delete mode 100644 debian/README.source
 create mode 100644 debian/patches/libstdc++-7-dev.patch
 rename debian/{docs => pocl-opencl-icd.docs} (100%)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/collab-maint/pocl.git