Note about updating rosdistro's version number.