diff options
| author | evan@0e4cded17eab71af967a38b123fbc211cf215421 <evan@web> | 2016-03-17 03:31:57 +0000 |
|---|---|---|
| committer | admin <admin@branchable.com> | 2016-03-17 03:31:57 +0000 |
| commit | d88b62c16cc0bbaacfb1619e7ee4eb52344e133c (patch) | |
| tree | 12fa30da91386e126cae0f926a1b53c83d8fcd70 /doc | |
| parent | 38f17eda16c641fd0f0e2ff16f1064341e276be0 (diff) | |
Added a comment: Buntish Releases
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/todo/type_level_OS_requirements/comment_7_a760b1a3b62f9bd8fd61eb5ec2ff216f._comment | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/todo/type_level_OS_requirements/comment_7_a760b1a3b62f9bd8fd61eb5ec2ff216f._comment b/doc/todo/type_level_OS_requirements/comment_7_a760b1a3b62f9bd8fd61eb5ec2ff216f._comment new file mode 100644 index 00000000..1b649fc9 --- /dev/null +++ b/doc/todo/type_level_OS_requirements/comment_7_a760b1a3b62f9bd8fd61eb5ec2ff216f._comment @@ -0,0 +1,10 @@ +[[!comment format=mdwn + username="evan@0e4cded17eab71af967a38b123fbc211cf215421" + nickname="evan" + subject="Buntish Releases" + date="2016-03-17T03:31:57Z" + content=""" +I just came across another issue where the Buntish release string made a difference. I'll open a PR tomorrow sometime to show what I did (hardcoded) and maybe we can think of something cleverer using the typesystem, too. + +Thanks! +"""]] |