News for hackers. Stuff that matters.
Re:Debian 7.3 is out by andrewaylett on Sunday December 15, 2013 @05:44PM (#6911353)
If you're already on a 7.x install (codename 'wheezy') then per http://www.debian.org/News/2013/20131214 it suffices to enable the updates repository (which I believe is the default) and run `apt-get upgrade`.

The release notes you linked to are for the original 7.0 release. I think that most people will pretty much ignore that there's a point release and continue to update their systems regularly -- unless you're installing a large number of systems or have particular requirements there seems little point in paying it specific attention.

Re:Debian 7.3 is out by rhizome on Sunday December 15, 2013 @06:04PM (#6911481)
The release notes you linked to are for the original 7.0 release.

The notes I linked are the ones linked from the post page on where the upgrade instructions can be found.