Marius Bakke <marius@gnu.org> skriver:

> Now the question is: should we restore this patch, and in practice
> restart the branch almost from scratch?  Or drop it, considering
> upstream has rejected it[0]?

Following a discussion on IRC, we decided to reinstate the patch and get
rid of the newly added graft at the same time.

Apologies to those who already started building it!