Skip to content
GitLab
  • Menu
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • R rpi.gpio
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Merge requests 1
    • Merge requests 1
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Jobs
  • Commits
Collapse sidebar
  • Debian Raspberry Pi Maintainers
  • rpi.gpio
  • Merge requests
  • !2

Fix filename of d/rpi.gpio-common.docs (thanks to Dave Jones)

  • Review changes

  • Download
  • Email patches
  • Plain diff
Open Logan Rosen requested to merge logan/rpi.gpio:patch-1 into master Jul 24, 2020
  • Overview 0
  • Commits 1
  • Pipelines 0
  • Changes 1

Dave Jones in Ubuntu noticed that the docs filename was incorrect and fixed it. I've forwarded this change to Debian so that it can be fixed here as well.

Assignee
Assign to
Reviewer
Request review from
Time tracking
Source branch: patch-1