Merge pull request #3382 from melted/fix_build
Fix build
commit06cc10a5e058da7da773c10b0f44aae32cdcb179
authorNiklas Larsson <metaniklas@gmail.com>
dateSat 27 Aug 2016, 01:09 (10 years ago)
parent7e0c70af8ee19a
libs/base/System/Concurrency/Channels.idr → libs/base/System/Concurrency/Sessions.idrrenamed
The content is the same.