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 0a22b6c7709e73d2b0e608f78f3f8ffe6f2c5614 (commit) via f8e839cd28b145bf6b4959b5266e744c7542f14d (commit) from 4f309b0a021b79cd79ca79bac5d2f3ab6437177e (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 0a22b6c7709e73d2b0e608f78f3f8ffe6f2c5614 Merge: 4f309b0a0 f8e839cd2 Author: Till Hofmann <hofm...@kbsg.rwth-aachen.de> AuthorDate: Mon Jul 1 07:09:53 2019 +0200 Commit: GitHub <nore...@github.com> CommitDate: Mon Jul 1 07:09:53 2019 +0200 Merge pull request #145 from fawkesrobotics/thofmann/clips-executive-wm-sync-update-timestamp-of-known-fact clips-executive: update timestamp when updating known fact https://github.com/fawkesrobotics/fawkes/commit/0a22b6c77 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *Summary* ----------------------------------------------------------- src/plugins/clips-executive/clips/wm-robmem-sync.clp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) - *Diffs* ------------------------------------------------------------- - *commit* 0a22b6c7709e73d2b0e608f78f3f8ffe6f2c5614 - - - - - - - - - - Author: Till Hofmann <hofm...@kbsg.rwth-aachen.de> Date: Mon Jul 1 07:09:53 2019 +0200 Subject: Merge pull request #145 from fawkesrobotics/thofmann/clips-executive-wm-sync-update-timestamp-of-known-fact src/plugins/clips-executive/clips/wm-robmem-sync.clp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) _Diff for modified files_: _______________________________________________ fawkes-commits mailing list fawkes-commits@lists.kbsg.rwth-aachen.de https://lists.kbsg.rwth-aachen.de/listinfo/fawkes-commits