[devede/f25] (2 commits) ...devede has been replace by devedeng
Summary of changes:
1ada00b... devede has been to devedeng (*)
2536a95... devede has been replace by devedeng (*)
(*) This commit already existed in another branch; no separate mail sent