On Fri, 23 Oct 2015 21:59:31 +0200
Luis Ressel wrote:
> On Wednesday, someone seems to have done a --force'd push to the gentoo
> repository. The commits
> * 5e04009 sci-mathematics/minisat: rev-bump and build fixes for latest,
> QA cleanup
> * 9c9fce9 media-libs/urt: build fixes, QA cleanups,
On 10/23/2015 09:59 PM, Luis Ressel wrote:
> On Wednesday, someone seems to have done a --force'd push to the gentoo
> repository. The commits
> * 5e04009 sci-mathematics/minisat: rev-bump and build fixes for latest,
> QA cleanup
> * 9c9fce9 media-libs/urt: build fixes, QA cleanups, new shared li
