1.13.11ubuntu7~proposed has been rolled out to the buildds and has, in fact, fixed the problem that prompted me to look into this in the first place.
1.13.11ubuntu7~ proposed has been rolled out to the buildds and has, in fact, fixed the problem that prompted me to look into this in the first place.