gitlab: upstream revised their commits (no content change - a987bf is now abce5c)