[flint] 01/01: Use https for d/copyright's Format

[Julien Puydt]

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

jpuydt-guest pushed a commit to branch master
in repository flint.

commit eabfb8ce68bea55d113c0308771569457bd4386c
Author: Julien Puydt <julien.puydt at laposte.net>
Date:   Mon Nov 6 10:00:05 2017 +0100

    Use https for d/copyright's Format
---
 debian/copyright | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/copyright b/debian/copyright
index 7c984c5..525e1a8 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,4 +1,4 @@
-Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
 Upstream-Name: flint
 Upstream-Contact: William Hart
 Source: http://flintlib.org

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