GitHub
2018-06-07 12:19:18 UTC
Branch: refs/heads/master
Home: https://github.com/yi-editor/yi
Commit: 72d5acb6ab9d731b6f552c45437d4dac2ea895de
https://github.com/yi-editor/yi/commit/72d5acb6ab9d731b6f552c45437d4dac2ea895de
Author: Jaro Reinders <***@gmail.com>
Date: 2018-06-07 (Thu, 07 Jun 2018)
Changed paths:
M travis/nightly.yaml
Log Message:
-----------
Update dynamic-state version for ghc 8 build on travis
**NOTE:** This service been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/
Functionality will be removed from GitHub.com on January 31st, 2019.
Home: https://github.com/yi-editor/yi
Commit: 72d5acb6ab9d731b6f552c45437d4dac2ea895de
https://github.com/yi-editor/yi/commit/72d5acb6ab9d731b6f552c45437d4dac2ea895de
Author: Jaro Reinders <***@gmail.com>
Date: 2018-06-07 (Thu, 07 Jun 2018)
Changed paths:
M travis/nightly.yaml
Log Message:
-----------
Update dynamic-state version for ghc 8 build on travis
**NOTE:** This service been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/
Functionality will be removed from GitHub.com on January 31st, 2019.
--
Yi development mailing list
yi-***@googlegroups.com
http://groups.google.com/group/yi-devel
---
You received this message because you are subscribed to the Google Groups "yi.devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to yi-devel+***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Yi development mailing list
yi-***@googlegroups.com
http://groups.google.com/group/yi-devel
---
You received this message because you are subscribed to the Google Groups "yi.devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to yi-devel+***@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.