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