I shot some lo-res mp4 video on my mobile phone a few days ago and once again I need to rotate the footage 90 degrees.

I have previously googled extensively but haven't really found anything that's open source which would be my preference. Everything else you can download looks a bit dodgy to be honest and all I want is this one function.

Any recommendations?