Unintentional duplicate instructions spotted
Done in !83 (merged)
mentioned in merge request !83 (merged)
closed via merge request !83 (merged)
mentioned in commit fd02cc75