Version history for #4580