I guess we should encourage "merge fast" policy for PRs like that, though from my experience it is already the case -- if it's just a version bump of a package which wouldn't trigger a libreoffice build or so (though libreoffice depends on everything so it's a bad metric ^_^), it usually would be merged quickly.
On 01/20/2015 12:51 AM, Michael Raskin wrote: >> usual, to bother less contributors so that they can focus on >> more non-trivial things. > (pessimistically) or at least on another set of trivial but useful > things! > > > _______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
