I have to say that the location of the dent is a bit concerning. Usually they are further back, in my experience. This one is right by the lug tip, meaning that it's more likely to crack. Not sure how much you are going to ride it though.
I assume it came with Universal brakes, so the previous owner replaced those with something that will stop the bike.