Hello Thomas,

Yes. There's (private) bug report opened https://bugzilla.redhat.com/1519363
.

On Wed, Dec 6, 2017 at 7:28 PM, Thomas Markwalder via RT <
dhcp-confidential@isc.org> wrote:

> Hello Pavel:
>
> You mentioned this was reported by a RHEL customer, is there RHEL bug
> ticket for this?
>
> Thanks
>
> Thomas
>



-- 
Pavel Zhukov
Software Engineer
IRC: landgraf