chiark / gitweb /
list: LIST_INSERT_BEFORE: update head if necessary (#4261)