« Previous | Next » 

Revision a0ef7c27

IDa0ef7c275c187ca18e45e67a1e8d5bd0d61ce08c

Added by Christos Stavrakakis about 7 years ago

Merge branch 'release-0.15' into debian-release-0.15

Files

  • added
  • modified
  • copied
  • renamed
  • deleted