[SCM] SETI at home packaging branch, master, updated. debian/5.13+cvs20060510-4-55-gd8423e5

[Steffen Moeller]

The following commit has been merged in the master branch:
commit 3fc345080dde901e07bce1eb7f0068a05761a933
Merge: 7165644ba49cf918f621477b69fa08e532443f1e 04303b2652e6810936d2aa7914e0f5ad7b530fd8
Author: Steffen Moeller <steffen_moeller at gmx.de>
Date:   Sat May 19 15:21:54 2012 +0200

    Merge tag 'upstream/6.12_svn1305'
    
    Upstream version 6.12~svn1305


-- 
SETI at home packaging