Hi Pal,
If it was a leak in the roof and has been fixed then hack it back and let it dry before patch, repair and skim.
As you said it’s high on an exterior wall, would normally check the guttering and if the brickwork needs repointing. No point fixing the inside if the outside is still causing...