#3774: request for tagging for an update to f13