From 4669231d25ca5aa2ceccd79cdae3c22954036c26 Mon Sep 17 00:00:00 2001
From: Michel Juillard <michel.juillard@mjui.fr>
Date: Fri, 13 Dec 2013 10:56:51 +0100
Subject: [PATCH] Adding correction of evaluation of planner objective to NEWS
 file (cherry picked from commit 886e78a1ee076cca0a33bf767c763dcb54217a6b)

---
 NEWS | 1 +
 1 file changed, 1 insertion(+)

diff --git a/NEWS b/NEWS
index 8204c4dbf..afe7dd659 100644
--- a/NEWS
+++ b/NEWS
@@ -209,6 +209,7 @@ Here is the list of major user-visible changes:
    that if a MOD file was updated between runs in the same folder and a
    `file_tag' was not changed, then the results would not change.
 
+ - Correcting evaluation of planner objective function under Ramsey policy.
 
 * References: