[Pkg-mozext-commits] [greasemonkey] 02/03: Merge tag 'upstream/1.13_beta3'

[David Prévot]

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

taffit pushed a commit to branch master
in repository greasemonkey.

commit 06c3ccc12b2a928bbe65b94973e0fdef3421dd4f
Merge: 383c7ce 3b855b4
Author: David Prévot <taffit at debian.org>
Date:   Mon Oct 14 10:02:15 2013 -0400

    Merge tag 'upstream/1.13_beta3'
    
    Upstream version 1.13~beta3
    
    # gpg: Signature faite le lun. 14 oct. 2013 10:02:09 AST avec la clef RSA d'identifiant 44F6BD3C
    # gpg: Bonne signature de « David Prévot <david at tilapin.org> »
    # gpg:                 alias « David Prévot <davidp at altern.org> »
    # gpg:                 alias « David Prévot <davidp at no-log.org> »
    # gpg:                 alias « David Prévot <taffit at debian.org> »
    # gpg: Attention : cette clef n'est pas certifiée avec une signature de confiance.
    # gpg:             Rien n'indique que la signature appartient à son propriétaire.
    # Empreinte de clef principale : AE14 AD01 426D 2BFB 82EF  7E1E B82A 217A FDFE 09F2
    #    Empreinte de la sous-clef : 7875 4D07 BC09 5C74 48F7  8D66 058C 1CF9 44F6 BD3C

 content/config.js                    |    7 ++++++-
 content/options.js                   |    4 ----
 content/options.xul                  |    1 -
 defaults/preferences/greasemonkey.js |    1 -
 install.rdf                          |    2 +-
 locale/ar/greasemonkey.dtd           |    1 -
 locale/ca/greasemonkey.dtd           |    1 -
 locale/cs/greasemonkey.dtd           |    5 ++---
 locale/da/greasemonkey.dtd           |    1 -
 locale/de/greasemonkey.dtd           |    1 -
 locale/el/greasemonkey.dtd           |    1 -
 locale/en-US/greasemonkey.dtd        |    1 -
 locale/es-AR/greasemonkey.dtd        |    1 -
 locale/es-CL/greasemonkey.dtd        |    1 -
 locale/es-ES/greasemonkey.dtd        |    1 -
 locale/es-MX/greasemonkey.dtd        |    1 -
 locale/et/greasemonkey.dtd           |    1 -
 locale/fa/greasemonkey.dtd           |    1 -
 locale/fi/greasemonkey.dtd           |    1 -
 locale/fr/greasemonkey.dtd           |    1 -
 locale/gl/greasemonkey.dtd           |    1 -
 locale/he/greasemonkey.dtd           |    1 -
 locale/hu/greasemonkey.dtd           |    1 -
 locale/it/greasemonkey.dtd           |    1 -
 locale/ja/greasemonkey.dtd           |    5 ++---
 locale/ko/greasemonkey.dtd           |    1 -
 locale/lt/greasemonkey.dtd           |    1 -
 locale/nl/greasemonkey.dtd           |    1 -
 locale/pl/greasemonkey.dtd           |    1 -
 locale/pt-BR/greasemonkey.dtd        |    3 +--
 locale/ro/greasemonkey.dtd           |    1 -
 locale/ru/greasemonkey.dtd           |    1 -
 locale/si/greasemonkey.dtd           |    1 -
 locale/sk/greasemonkey.dtd           |    1 -
 locale/sr/greasemonkey.dtd           |    1 -
 locale/sv-SE/greasemonkey.dtd        |    1 -
 locale/tr/greasemonkey.dtd           |    1 -
 locale/uk/greasemonkey.dtd           |    1 -
 locale/zh-CN/gm-cludes.dtd           |    4 ++--
 locale/zh-CN/greasemonkey.dtd        |    9 ++++-----
 locale/zh-CN/greasemonkey.properties |   10 +++++-----
 locale/zh-TW/greasemonkey.dtd        |    1 -
 modules/miscapis.js                  |   36 ++++++++++++++++++++++++++++++----
 modules/remoteScript.js              |    3 +--
 modules/script.js                    |   21 +-------------------
 modules/stats.js                     |   17 ++++------------
 modules/sync.js                      |   16 +++++++++++----
 47 files changed, 73 insertions(+), 102 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-mozext/greasemonkey.git