Hi, I've just noticed I accidentally pushed an empty commit to debian/master after debian/3.0.2-1: 95c53c4. If nobody objects, I'd like to reset the debian/master branch to the newly created debian/3.0.3-1 tag. Otherwise I'll merge them (which is a no-op) on top of it. -- Happy holidays! Feri