On Mon, Aug 27, 2018 at 05:08:45PM +0200, Peter Krempa wrote:
On Mon, Aug 27, 2018 at 16:54:08 +0200, Thomas Huth wrote:
These options are deprecated since at least two releases, and nobody
complained. Time to remove them now.
(I'm sending these patches as a series since Paolo asked me to send
On Mon, Aug 27, 2018 at 16:54:08 +0200, Thomas Huth wrote:
> These options are deprecated since at least two releases, and nobody
> complained. Time to remove them now.
>
> (I'm sending these patches as a series since Paolo asked me to send a PULL
> request on my own for them ... but if one of the
