This is now upstream at https://savannah.gnu.org/bugs/?func=detailitem&item_id=16661
Since we cannot watch savannah bugs yet, I have not added a proper bug watch
This is now upstream at https:/ /savannah. gnu.org/ bugs/?func= detailitem& item_id= 16661
Since we cannot watch savannah bugs yet, I have not added a proper bug watch