Merge remote-tracking branch 'origin/master' into develop
This commit is contained in:
commit
4132dd87a4
1 changed files with 1 additions and 1 deletions
|
@ -92,7 +92,7 @@ void leader_start(void) {
|
||||||
}
|
}
|
||||||
|
|
||||||
void leader_end(void) {
|
void leader_end(void) {
|
||||||
// sequence ended (no success/failuer detection)
|
// sequence ended (no success/failure detection)
|
||||||
}
|
}
|
||||||
```
|
```
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue