path: root/doc/todo/issue_after_upgrading_shared_library/comment_2_01a3d5e006158302e12862cacee3327e._comment

[[!comment format=mdwn
 username="gueux"
 subject="comment 2"
 date="2015-04-02T09:24:07Z"
 content="""
Indeed, \"make clean\" on the server worked. I don't know it could be made more robust to this kind of upgrade...
"""]]