Index: post.php
===================================================================
--- post.php	(revision 767)
+++ post.php	(working copy)
@@ -4389,7 +4389,7 @@
 		do_action( 'clean_page_cache', $post->ID );
 	}
 
-	if ( $children = $wpdb->get_results( $wpdb->prepare("SELECT ID, post_type FROM $wpdb->posts WHERE post_parent = %d", $post->ID) ) ) {
+	if ( $children = $wpdb->get_results( $wpdb->prepare("SELECT ID, post_type FROM $wpdb->posts WHERE post_parent = %d AND post_type <> 'revision' ", $post->ID) ) ) {
 		foreach ( $children as $child ) {
 			// Loop detection
 			if ( $child->ID == $post->ID )