From d88b62c16cc0bbaacfb1619e7ee4eb52344e133c Mon Sep 17 00:00:00 2001 From: evan@0e4cded17eab71af967a38b123fbc211cf215421 Date: Thu, 17 Mar 2016 03:31:57 +0000 Subject: Added a comment: Buntish Releases --- .../comment_7_a760b1a3b62f9bd8fd61eb5ec2ff216f._comment | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 doc/todo/type_level_OS_requirements/comment_7_a760b1a3b62f9bd8fd61eb5ec2ff216f._comment (limited to 'doc') 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! +"""]] -- cgit v1.2.3