[SCM] Verilog Debian packaging branch, master, updated. debian/3.312-1-4-gd4a5fa0

[gregor herrmann]

The following commit has been merged in the master branch:
commit f2f6971b585d6fe4138d945d098f0f29b7f0ec86
Merge: b4f5a9f84b1eac59ab3bcb49cb00f1e098f974c6 94c6dc846b2db16724b48e02900452e3faff39cf
Author: gregor herrmann <gregoa at debian.org>
Date:   Wed Dec 14 18:08:56 2011 +0100

    Merge commit 'upstream/3.313'


-- 
Verilog Debian packaging