dolfin team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

Which buildbot is the fastest/has the least amount of load?

Would be good to know when one needs to trigger a buildbot to check a
fix.

--
Anders

Attachment: signature.asc
Description: Digital signature