If I mention someone on another server in an old public post comments’ and this person never got this post on their server before (I tried this with Diaspora, Friendica, Hubzilla) then mention doesn’t get through.
Is this intended behavior? I thought in this case that person would get the mention and pull the parent post?