3 ➡️ 4

[chapulina]

➡️ Forward port

Port ign-gazebo3 to ign-gazebo4

Branch comparison: ign-gazebo4...ign-gazebo3

Note to maintainers: Remember to Merge with commit (not squash-merge or rebase)

[codecov]

Codecov Report

Merging #973 (ba98a7d) into ign-gazebo4 (9691622) will decrease coverage by 0.01%.
The diff coverage is 66.66%.

❗ Current head ba98a7d differs from pull request most recent head d00a48e. Consider uploading reports for the commit d00a48e to get more accurate results

@@               Coverage Diff               @@
##           ign-gazebo4     #973      +/-   ##
===============================================
- Coverage        67.12%   67.11%   -0.02%     
===============================================
  Files              243      243              
  Lines            18207    18209       +2     
===============================================
- Hits             12222    12221       -1     
- Misses            5985     5988       +3     

Impacted Files	Coverage Δ
src/ServerPrivate.cc	86.93% <ø> (-0.22%)	⬇️
src/ServerConfig.cc	89.03% <66.66%> (-0.65%)	⬇️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 9691622...d00a48e. Read the comment docs.