Commit Graph

5 Commits

Author SHA1 Message Date
Jenkins nedprod CI
bbd4e31869 Merging commit ned14/outcome@6d45806413:
Merged from develop branch as CDash reports all green
2019-10-22 13:42:33 +00:00
Jenkins nedprod CI
ebfff75212 Merging commit ned14/outcome@7fbbd01d56:
Merged from develop branch as CDash reports all green
2019-10-10 12:43:35 +00:00
Niall Douglas (s [underscore] sourceforge {at} nedprod [dot] com)
e8e275143a
Rename awaitable to eager, and task to lazy to meet most recent WG21 naming. 2019-10-04 15:58:37 +01:00
Niall Douglas (s [underscore] sourceforge {at} nedprod [dot] com)
4788ad6f0b
Fix travis. 2019-10-04 12:46:39 +01:00
Niall Douglas (s [underscore] sourceforge {at} nedprod [dot] com)
566a77473a
Add missing coroutine support files, sorry. 2019-10-04 10:00:09 +01:00