grim/convey

ChangeLog the support for merging plans when extending.

2017-10-03, Gary Kramlich
46472d8da780
Parents 4ff734b355fd
Children f099426f7d973263ee6583bd
ChangeLog the support for merging plans when extending.
1 files changed, 1 insertions(+), 0 deletions(-)
  • +1 -0
    ChangeLog
    • --- a/ChangeLog Wed Oct 04 02:32:34 2017 +0000
    +++ b/ChangeLog Tue Oct 03 21:33:29 2017 -0500
    @@ -1,4 +1,5 @@
    0.10.2:
    + * Added support for merging plans when extending. PR #27 (Eric Fritz)
    * Fix Push/Pop Extend Frame breakage under concurrent execution. Fixed #126 (Eric Fritz)
    * Fritz fixed a goof. Fixed #125. (Eric Fritz)