Bug#767091: gsl-doc-info: documentation is free since 1.16

Package: gsl-doc-info Version: 1.16-1 Severity: normal Dear Maintainer, GSL documentation is free now: upstream commit ea3a0d3f6a81f1b67ff40be684e556a8b4fd9553 removed the invariant sections and cover texts [0]. That change is applied since release 1.16 included in Jessie and Sid. I believe

Bug#876464: cloud.debian.org: vagrant home directory has no files from /etc/skel

Package: cloud.debian.org Severity: normal Dear Maintainer, Vagrant base box debian/stretch64 (and debian/jessie64) includes a home directory /home/vagrant containing only the .ssh directory: none of .bashrc, .profile and .bash_logout are present (i.e. files normally copied from /etc/skel).

Bug#823119: uwsgi: please add uwsgi-plugin-gevent-python3

Hello. The following patch seems to add a working uwsgi-plugin-gevent-python3 package. From a9dbd3f15d8fb6accd100c8f7076eae21f8f2c76 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Micha=C5=82=20Mas=C5=82owski?= Date: Fri, 23 Feb 2018 15:49:40 +0100 Subject: [PATCH] Enable