Recently, the dev feed got borked by a few extra newlines at the beginning of the feed. This means that the Dashboard will have no dev blog news, and this is a temporary fix until the developers make the fix.
Here are the instructions:
1. Open wp-admin/index.php
2. Go to line 114, which should be something like this:
$rss = @fetch_rss('http://wordpress.org/development/feed/');
3. Change the URI to http://shorty114.net/misc/devfeed.php:
$rss = @fetch_rss('http://shorty114.net/misc/devfeed.php');
4. Save the file, and all should be fine!
Just in case you were wondering, this feed is updated realtime from the blog - it isn't a static copy.
The Technical mumbo-jumbo:
Basically, this script takes the dev feed RSS and strips the newlines at the beginning of the file, and so then the RSS feed works again.