Comment on Debian 7.3 is outparentComments−null_ptr12yYou're right. What I meant was that doing your regular system updates is enough to upgrade from 7.1 to 7.3, there's nothing special you need to do on top of that.
Comments
You're right. What I meant was that doing your regular system updates is enough to upgrade from 7.1 to 7.3, there's nothing special you need to do on top of that.