SuccessChanges

Summary

  1. Bug fixed in "Update LD_LIBRARY_PATH environment variable" (details)
Commit 3f8f754f68e19791d20a6fa74dbe5e1c0bb5e862 by yann.garcia
Bug fixed in "Update LD_LIBRARY_PATH environment variable"
The file was modifiedscripts/devenv.bash.ubuntu