Changes have been pushed for the repository "fawkesrobotics/fawkes".
Clone: https://github.com/fawkesrobotics/fawkes.git Gitweb: https://github.com/fawkesrobotics/fawkes The branch, master has been updated to 4e0a0e16f09f9adf08cd04fb73efba67796e6b7b (commit) via 6f1c7957487cbeb477841a7855404f43b02f2f17 (commit) from 67b71745de105bcd3798f2a964051542955fb40d (commit) https://github.com/fawkesrobotics/fawkes/tree/master Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - *Log* --------------------------------------------------------------- commit 4e0a0e16f09f9adf08cd04fb73efba67796e6b7b Merge: 67b71745d 6f1c79574 Author: Till Hofmann <hofm...@kbsg.rwth-aachen.de> AuthorDate: Tue Apr 30 21:00:06 2019 +0200 Commit: GitHub <nore...@github.com> CommitDate: Tue Apr 30 21:00:06 2019 +0200 Merge pull request #101 from fawkesrobotics/dhabering/cx-fix-pending-requests-logic clips-executive: fix member check for pending requests https://github.com/fawkesrobotics/fawkes/commit/4e0a0e16f - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *Summary* ----------------------------------------------------------- src/plugins/clips-executive/clips/coordination-mutex.clp | 2 +- src/plugins/clips-executive/clips/resource-locks.clp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) - *Diffs* ------------------------------------------------------------- - *commit* 4e0a0e16f09f9adf08cd04fb73efba67796e6b7b - - - - - - - - - - Author: Till Hofmann <hofm...@kbsg.rwth-aachen.de> Date: Tue Apr 30 21:00:06 2019 +0200 Subject: Merge pull request #101 from fawkesrobotics/dhabering/cx-fix-pending-requests-logic src/plugins/clips-executive/clips/coordination-mutex.clp | 2 +- src/plugins/clips-executive/clips/resource-locks.clp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) _Diff for modified files_: _______________________________________________ fawkes-commits mailing list fawkes-commits@lists.kbsg.rwth-aachen.de https://lists.kbsg.rwth-aachen.de/listinfo/fawkes-commits