The buildbot is failing after the merge today. It's working fine here so I assume the reason is some problem with the synchronization of the packages on the buildbots, a need for cleaning out the instant cache or similar.
Is it working fine for the rest of you? Is there some way to clean out and restart all buildbots? Might be useful in a case when many things have change across the different packages. -- Anders _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
