diff --git a/versions/baseline.json b/versions/baseline.json index 8e4d362a95..d80371920f 100644 --- a/versions/baseline.json +++ b/versions/baseline.json @@ -5573,7 +5573,7 @@ "port-version": 0 }, "rtabmap": { - "baseline": "0.20.3", + "baseline": "0.20.13", "port-version": 1 }, "rtaudio": { diff --git a/versions/r-/rtabmap.json b/versions/r-/rtabmap.json index 5a4d15b968..e10d7c384a 100644 --- a/versions/r-/rtabmap.json +++ b/versions/r-/rtabmap.json @@ -1,5 +1,10 @@ { "versions": [ + { + "git-tree": "e2e07151b976d6aac9f1d8744e1ac9ccac10746b", + "version-string": "0.20.13", + "port-version": 1 + }, { "git-tree": "07422ec8ed79148e476dbb807db950ed78852ca0", "version-string": "0.20.3",