search

softdevteam / grmtools

Rust grammar tool libraries and binaries
Other
507 stars 31 forks source link

Prepare a 0.13.1 release. #391

Closed ltratt closed 1 year ago

ltratt commented 1 year ago

Now that we don't have lots of API changes stored, we can go back to more frequent releases!

ratmice commented 1 year ago

bors r+

bors[bot] commented 1 year ago

Build succeeded: