Comment 8 for bug 422298

Revision history for this message
Jilles Tjoelker (jilles) wrote :

This patch has been pushed to dash.git. However, applying it to an older version of dash could be useful so people can take advantage of this fix without the possible instability and possible subtle incompatibilities of a new dash version.