Fri, 05 Oct 2018 15:10:02 +0200Continuations are important. Oops. sync
Krista Bennett <krista@pep-project.org> [Fri, 05 Oct 2018 15:10:02 +0200] rev 3018
Continuations are important. Oops.

Fri, 05 Oct 2018 15:03:04 +0200merged in default and added key_reset.h file sync
Krista Bennett <krista@pep-project.org> [Fri, 05 Oct 2018 15:03:04 +0200] rev 3017
merged in default and added key_reset.h file

Fri, 05 Oct 2018 15:00:45 +0200Put labeled_int_list.h into include install
Krista Bennett <krista@pep-project.org> [Fri, 05 Oct 2018 15:00:45 +0200] rev 3016
Put labeled_int_list.h into include install

Fri, 05 Oct 2018 13:46:49 +0200IOSAD-103 merge in default (xcode script and include path changes) IOSAD-103
Dirk Zimmermann <dirk@pep-project.org> [Fri, 05 Oct 2018 13:46:49 +0200] rev 3015
IOSAD-103 merge in default (xcode script and include path changes)

Fri, 05 Oct 2018 13:33:17 +0200merge
Krista Bennett <krista@pep-project.org> [Fri, 05 Oct 2018 13:33:17 +0200] rev 3014
merge

Fri, 05 Oct 2018 13:31:08 +0200Closing ENGINE-459 ENGINE-459
Krista Bennett <krista@pep-project.org> [Fri, 05 Oct 2018 13:31:08 +0200] rev 3013
Closing ENGINE-459

Fri, 05 Oct 2018 13:30:37 +0200Merged in ENGINE-459
Krista Bennett <krista@pep-project.org> [Fri, 05 Oct 2018 13:30:37 +0200] rev 3012
Merged in ENGINE-459

Fri, 05 Oct 2018 13:29:50 +0200ENGINE-459: Well, that was easy. ENGINE-459
Krista Bennett <krista@pep-project.org> [Fri, 05 Oct 2018 13:29:50 +0200] rev 3011
ENGINE-459: Well, that was easy.

Fri, 05 Oct 2018 13:20:44 +0200IOSAD-103 xcode: better (user) header search paths
Dirk Zimmermann <dirk@pep-project.org> [Fri, 05 Oct 2018 13:20:44 +0200] rev 3010
IOSAD-103 xcode: better (user) header search paths

Fri, 05 Oct 2018 11:53:18 +0200IOSAD-103 merge in sync, which has the latest default IOSAD-103
Dirk Zimmermann <dirk@pep-project.org> [Fri, 05 Oct 2018 11:53:18 +0200] rev 3009
IOSAD-103 merge in sync, which has the latest default