ristretto-0.1.3 protected

stephan@xfce.org

dd451227 · update NEWS and version-number · Oct 31, 2011

Tag ristretto 0.1.3

(I forgot to push before the release, and lost the tags)
Re-tagged, and pushed