No idea... the branch is merged in revision 8588 at: 2018-02-13 02:17:15 UTC. 
This could be seen when pulling trunk and also if you watch the source code

Maybe launchpad is confused?
Your team Widelands Developers is subscribed to branch 

Mailing list:
Post to     :
Unsubscribe :
More help   :

Reply via email to