[DRE-commits] [gitlab] branch master updated (85f97d6 -> 0665442)

[Praveen Arimbrathodiyil]

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

praveen pushed a change to branch master
in repository gitlab.

      from  85f97d6   update overrides
       new  5dc5101   update overrides
       new  0437fc8   use katex from system
       new  1d7e641   New upstream version 9.5.4+dfsg
       new  940dcde   Updated version 9.5.4+dfsg from 'upstream/9.5.4+dfsg'
       new  0665442   link minified pdf*.js

The 5 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/copyright                   |    1 +
 debian/gitlab.links                |    3 +
 debian/gitlab.lintian-overrides    |    2 +
 vendor/assets/javascripts/katex.js | 8685 ------------------------------------
 4 files changed, 6 insertions(+), 8685 deletions(-)
 delete mode 100644 vendor/assets/javascripts/katex.js

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