commit 0530b5bf86438eb98e4a6931f033800b4adabf56
author Davide Pesavento <davide.pesavento@lip6.fr> Mon Nov 07 03:23:58 2016 +0100
committer Davide Pesavento <davide.pesavento@lip6.fr> Mon Nov 07 21:36:22 2016 +0100
tree 86f30f8311bdb861628c2554366cd9223e561502
parent ed1e99daa08642822cb722136294724ec5a9cf26

ci: speed up code-coverage jobs

Plus some documentation updates

Change-Id: I6fd2b04e22bca6c3d6e36e78d1995220e261206b
Refs: #3809

docs/README.rst

diff --git a/docs/README.rst b/docs/README.rst
index c1e0bba..b58f125 100644
--- a/docs/README.rst
+++ b/docs/README.rst
@@ -19,4 +19,4 @@
    NDN <https://github.com/named-data/ndn-traffic-generator>`__
 
 Please submit any bugs or issues to the `ndn-cxx issue tracker
-<http://redmine.named-data.net/projects/ndn-cxx/issues>`__.
+<https://redmine.named-data.net/projects/ndn-cxx/issues>`__.