Redirect discussions to discourse#35

luca-della-vedova merged 2 commits into

mainopen-rmf/rmf_utils:mainfrom

ac/discourse-redirectopen-rmf/rmf_utils:ac/discourse-redirectCopy head branch name to clipboard