Hendrik Tews <tews@os.inf.tu-dresden.de> writes: IMHO it makes sense to incorporate the two fixes into the package before uploading it. I am therefore going to remove the debian/0.3.0-1 tag from the oasis git repo, add the fixes and tag it again. Finished now. H.