From: Zachary Yedidia <zyedidia@gmail.com>
Date: Sun, 3 Jun 2018 21:13:22 +0000 (-0400)
Subject: Merge pull request #1125 from nabeelomer/master
X-Git-Tag: v1.4.1~7
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=61baa73d70750fc3cb235a2a806a64709605542b;p=micro.git

Merge pull request #1125 from nabeelomer/master

F# Configuration
---

61baa73d70750fc3cb235a2a806a64709605542b