From c8de837c98fe7029d6fd8450ecdd33521dc04e0c Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Sun, 20 Mar 2011 00:12:47 +0100
Subject: [PATCH] todo after 1.3, 1.2 is old :-)

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 doc/dev/todo/{post-1.2 => post-1.3} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename doc/dev/todo/{post-1.2 => post-1.3} (100%)

diff --git a/doc/dev/todo/post-1.2 b/doc/dev/todo/post-1.3
similarity index 100%
rename from doc/dev/todo/post-1.2
rename to doc/dev/todo/post-1.3