On Tue, Jan 16, 2018 at 03:38:42PM +0100, Holger Hoffstätte wrote:
On 01/05/18 15:08, Nicolas Bock wrote:
currently vanilla-sources are broken, but there is an upstream patch
that fixes it (appended at the end). I know that vanilla-sources are
supposed to be vanilla, but it would help if we
On 01/05/18 15:08, Nicolas Bock wrote:
> currently vanilla-sources are broken, but there is an upstream patch
> that fixes it (appended at the end). I know that vanilla-sources are
> supposed to be vanilla, but it would help if we added this patch
> until upstream backports it. Any thoughts?
This