« Previous | Next » 

Revision c434401a

IDc434401ae265de0fb5c7296d1579698da69ecfe9
Parent 6cd4e775
Child ce445897, a1f38213

Added by Michael Hanselmann about 10 years ago

Bump version for 2.5.0 final release

Also update NEWS file.

Signed-off-by: Michael Hanselmann <>
Reviewed-by: Iustin Pop <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences