Hardy Ferentschik edited a comment on Bug HV-871