diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-03-17 13:45:31 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-03-17 13:45:31 -0400 |
| commit | 9c629eb4f41639bc0c0380ff55b926247e0a6543 (patch) | |
| tree | 1210b92b594e055215c34dbe34ea8341a6d80ce3 | |
| parent | 50ce8694d62548321ad5b85681bd233d8f448806 (diff) | |
| parent | d88b62c16cc0bbaacfb1619e7ee4eb52344e133c (diff) | |
Merge branch 'master' of ssh://propellor.branchable.com
| -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! +"""]] |