release-1.3.5

Petter A. Urkedal

@petter

c53688b2 · Update VERSION after Debian packaging fix. · Feb 02, 2012

Release 1.3.5.

  * This replaces two bad releases: 1.3.3 and 1.3.4.