Skip to content

fix a typo and a punctuation error#2116

Open
partev wants to merge 1 commit into
GPflow:gh-pagesfrom
partev:patch-2
Open

fix a typo and a punctuation error#2116
partev wants to merge 1 commit into
GPflow:gh-pagesfrom
partev:patch-2

Conversation

@partev

@partev partev commented Jul 7, 2024

Copy link
Copy Markdown
Contributor

PR type: bugfix / enhancement / new feature / doc improvement

Related issue(s)/PRs:

Summary

Proposed changes

  • ...
  • ...
  • ...

What alternatives have you considered?

Minimal working example

# Put your example code in here

Release notes

Fully backwards compatible: yes / no

If not, why is it worth breaking backwards compatibility:

PR checklist

  • New features: code is well-documented
    • detailed docstrings (API documentation)
    • notebook examples (usage demonstration)
  • The bug case / new feature is covered by unit tests
  • Code has type annotations
  • Build checks
    • I ran the black+isort formatter (make format)
    • I locally tested that the tests pass (make check-all)
  • Release management
    • RELEASE.md updated with entry for this change
    • New contributors: I've added myself to CONTRIBUTORS.md

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant