No FX 9 integration on Mon, Dec 28

[Kevin Rushforth]

There will be no FX 9 integration next Monday, Dec 28 due to the US 
holidays. We will dispense with the usual Monday sanity testing that day 
as a result.

The next integration will be on Monday, Jan 4, 2016.
-- Kevin