在 2013-3-12 PM3:03,"Tomasz Torcz" <tomek@pipebreaker.pl>写道:

>   This sounds like updates that SHOULDN'T be pushed. If update has no
> changes worth mentioning, it is trivial - trivial updates should not be pushed.

If upstream release a minor bug fix version, what should we do?