Add Countable instance for Ascii.ascii (!154) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Tej Chajed requested to merge tchajed/stdpp:ascii-countable into master 4 years ago

All threads resolved!

Approval is optional

Activity

Robbert Krebbers @robbertkrebbers · 4 years ago

Owner

Resolved 4 years ago by Tej Chajed

Thanks! LGTM. Can you add a CHANGELOG entry?

Last reply by Tej Chajed 4 years ago
Tej Chajed added 1 commit 4 years ago
added 1 commit

bb75eecc - Add Countable instance for Ascii.ascii

Compare with previous version
Tej Chajed resolved all threads 4 years ago

resolved all threads
Robbert Krebbers @robbertkrebbers · 4 years ago

Owner

Thanks. Merging!
Robbert Krebbers mentioned in commit 432120a3 4 years ago

mentioned in commit 432120a3
Robbert Krebbers merged 4 years ago

merged

Please register or sign in to reply