[HEADSUP] head after r284417 is broken; please be patient while it's fixed

From: Garrett Cooper <yaneurabeya_at_gmail.com>
Date: Mon, 15 Jun 2015 12:27:36 -0700
Jenkins emails will probably keep on informing everyone about how healthy things are in the meantime.
Received on Mon Jun 15 2015 - 17:27:39 UTC

This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:40:58 UTC