Skip to content

Conversation

@erikmd
Copy link
Collaborator

@erikmd erikmd commented Jan 7, 2022

  • Kind: enhancement

Description

This patch is a follow-up of PR #453

Checklist

Note to maintainers

  • Read this wiki page
  • Make sure the PR has a milestone
  • Assign yourself before merging
  • We can squash-merge 1-commit PRs (use a header with a conventional-commit type, add a footer with Fix #… if need be)

@erikmd erikmd requested a review from yurug January 7, 2022 02:32
@erikmd erikmd force-pushed the details-templates branch 3 times, most recently from 6d99f9a to fb66aa7 Compare January 7, 2022 03:27
@erikmd erikmd added this to the learn-ocaml 0.14.0 milestone Jan 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants