On 8/30/2017 4:38 AM, Sergio Gelato wrote:
>>>> Yes. Saw in on 2017-06-14, filed an encrypted bug report to
>>>> heimdal-bugs the next day with the attached patch. No reaction. Not
>>>> to my status query the other day either.
>>> I diagnosed this problem as well and there is a patch waiting to be
>>> included in a subsequent release.
On 8/31/2017 5:54 AM, Lars-Johan Liman wrote:
>> Just curious: is this patch available in the Github repository or does
>> "waiting" mean somewhere else?
> Its not in the repository.