Prep for the 0.2.0 release

Review Request #2513 — Created July 14, 2023 and submitted — Latest diff uploaded

Information

hasl/hasl
default

Reviewers

This was just going to bump the version from 0.1.1-dev to 0.2.0-dev but I
decided to update the ChangeLog while I was at it.

Ran ninja turtles

Commits

Files