Closed robin-aws closed 2 years ago
Apologies for being impatient. :) I realized I mistakenly thought 3.26.1 included the new Dafny support, and only now realize that #1647 just missed the train.
3.26.1
See also #1674
@robin-aws Sorry for the delay. We have released 3.27.0 with Dafny support (https://github.com/rouge-ruby/rouge/pull/1774).
3.27.0
Apologies for being impatient. :) I realized I mistakenly thought
3.26.1
included the new Dafny support, and only now realize that #1647 just missed the train.