development updated (cddeb999 -> 8ee9da7f)

[Ileana Dumitrescu]

ildumi pushed a change to branch development.

    from cddeb999 bootstrap: Update submodule to recent commit
     new 2c3b8ece version 2.5.1
     new 8ee9da7f maint: post-release administrivia


Summary of changes:
 .prev-version | 2 +-
 NEWS          | 3 +++
 cfg.mk        | 2 +-
 3 files changed, 5 insertions(+), 2 deletions(-)