tag:github.com,2008:https://github.com/ffalconu/webots/releases Tags from webots 2020-06-05T14:07:03Z tag:github.com,2008:Repository/270832852/nightly_5_6_2020 2020-06-05T14:07:03Z nightly_5_6_2020: Merge pull request #1733 from cyberbotics/fix-tiago++-gripper-names <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/cyberbotics/webots/pull/1733">cyberbotics#1733</a> from cyberbotics/fix-tiago++-grip…</p> <p>…per-names</p> <p>Fix tiago++ Gripper Names</p> DavidMansolino tag:github.com,2008:Repository/270832852/nightly_8_6_2020 2020-06-04T15:30:32Z nightly_8_6_2020 stefaniapedrazzi tag:github.com,2008:Repository/270832852/nightly_4_6_2020 2020-06-04T10:52:19Z nightly_4_6_2020: Merge pull request #1727 from cyberbotics/improve-test-suite <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/cyberbotics/webots/pull/1727">cyberbotics#1727</a> from cyberbotics/improve-test-suite</p> <p>Improve Test Suite Robustness</p> DavidMansolino tag:github.com,2008:Repository/270832852/nightly_3_6_2020 2020-06-03T13:39:36Z nightly_3_6_2020: Merge pull request #1724 from cyberbotics/discord-doc-update <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/cyberbotics/webots/pull/1724">cyberbotics#1724</a> from cyberbotics/discord-doc-update</p> <p>Update Discord Docs</p> DavidMansolino tag:github.com,2008:Repository/270832852/R2020a-rev1 2020-01-14T11:58:48Z R2020a-rev1 DavidMansolino tag:github.com,2008:Repository/270832852/R2020a 2019-12-18T06:55:01Z R2020a DavidMansolino tag:github.com,2008:Repository/270832852/R2019b-rev1 2019-10-02T16:04:08Z R2019b-rev1 DavidMansolino tag:github.com,2008:Repository/270832852/R2019a-rev1 2019-02-14T08:10:31Z R2019a-rev1 fabienrohrer tag:github.com,2008:Repository/270832852/R2019a 2018-12-17T16:11:15Z R2019a <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/cyberbotics/webots/pull/90">cyberbotics#90</a> from omichel/update-move-from-webot…</p> <p>…s-doc-to-webots</p> <p>Prepare to move the doc from the webots-doc to the webots repository</p> omichel