Sorry about that, this label has been renamed at one point. It is now fixed https://github.com/yade/trunk/commit/d3c524c4fbd0fc8406df5b5463ef2236297f198c
Sorry about that, this label has been renamed at one point. It is now fixed https:/ /github. com/yade/ trunk/commit/ d3c524c4fbd0fc8 406df5b5463ef22 36297f198c