Skip to content
This repository has been archived by the owner on Oct 4, 2021. It is now read-only.

Bump to latest proppy. #9541

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Conversation

CartBlanche
Copy link
Contributor

No description provided.

@garuma
Copy link
Contributor

garuma commented Jan 22, 2020

@monojenkins rebase

@netonjm netonjm requested a review from sevoku January 23, 2020 15:42
@netonjm
Copy link
Contributor

netonjm commented Jan 23, 2020

LGTM

@garuma
Copy link
Contributor

garuma commented Jan 24, 2020

@netonjm do you have admin powers to merge this? The failure check reproes on master.

@netonjm
Copy link
Contributor

netonjm commented Jan 24, 2020

No... @slluis we need your superpowers

Base automatically changed from master to main March 9, 2021 14:17
@akoeplinger akoeplinger changed the base branch from main to master March 15, 2021 17:01
Base automatically changed from master to main March 15, 2021 17:03
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants