Fixed

Posted Dec 27, 2014 21:27 UTC (Sat) by corbet (editor, #1)
In reply to: The end of the 3.19 merge window by ploxiln
Parent article: The end of the 3.19 merge window

Duh, that was bad. Good catch. Fixed.