tree 02c900ceb75e1061cb8e70b0824fe07f6c493db4
parent be22fac2899325af6274db3bb942dae46df5aefa
author Avery Pennarun <apenwarr@gmail.com> 1457365960 -0500
committer Avery Pennarun <apenwarr@gmail.com> 1457366001 -0500

FIXME add Felix's correction to Michal's patch.

Change-Id: Ic87cf3696184c2afb4af2b55fd6ef0674cd8c712