From 214240c59717c50017ad3c5a615e72f953c5130b Mon Sep 17 00:00:00 2001
From: Riccardo Spagni <ric@spagni.net>
Date: Thu, 1 Sep 2016 17:08:55 +0200
Subject: [PATCH] confirming PR #1028 merge was accidentally unsigned, but
 correct