the DB wont store any other info.
It surely stores who cast the votes (to prevent duplicate votes). As such, there are two ways to update reputation as a vote is cast:
- Increment or decrement it as appropriate.
- Calculate it from the votes in the database.
RMGir was pointing out the former approach was used; the latter would make the effect of the bug transient.
Actually, the latter would avoid the bug completely.