Skip to content
This repository was archived by the owner on Dec 31, 2023. It is now read-only.

chore: pin to older sphinx #40

Merged
merged 3 commits into from
Jun 25, 2020
Merged

Conversation

yoshi-automation
Copy link
Contributor

This PR was generated using Autosynth. 🌈

Synth log will be available here:
https://source.cloud.google.com/results/invocations/e93a3b66-0b9d-4731-8049-5d33389af1dc/targets

  • To automatically regenerate this PR, check this box.

Source-Link: googleapis/synthtool@cd522c3

        autosynth cannot find the source of changes triggered by earlier changes in this
        repository, or by version upgrades to tools such as linters.
Source-Author: HemangChothani <50404902+HemangChothani@users.noreply.github.com>
Source-Date: Thu Jun 18 22:50:02 2020 +0530
Source-Repo: googleapis/synthtool
Source-Sha: cd522c3b4dde821766d95c80ae5aeb43d7a41170
Source-Link: googleapis/synthtool@cd522c3
@googlebot googlebot added the cla: yes This human has signed the Contributor License Agreement. label Jun 20, 2020
@busunkim96 busunkim96 changed the title [CHANGE ME] Re-generated to pick up changes from synthtool. chore: pin to older sphinx Jun 25, 2020
@busunkim96 busunkim96 added the automerge Merge the pull request once unit tests and other checks pass. label Jun 25, 2020
@gcf-merge-on-green gcf-merge-on-green bot merged commit ea5c2d8 into master Jun 25, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
automerge Merge the pull request once unit tests and other checks pass. cla: yes This human has signed the Contributor License Agreement. context: partial
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants