Michael Düsterhus commented on Bug HHH-11720