HomePhabricator

Create patch set 3
4b35bae05562Unpublished

Unpublished Commit · Learn More

Not On Permanent Ref: This commit is not an ancestor of any permanent ref.
This commit no longer exists in the repository. It may have been part of a branch which was deleted.This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Description

Create patch set 3

Uploaded patch set 3.

Patch-set: 3
Subject: Use the same language validation for representations and lemmas
Commit: rEWLEc527d372797d
Tag: autogenerated:gerrit:newPatchSet
Groups: rEWLEb721fafcd6eb
Work-in-progress: false

Details

Provenance
Jakob <1786@e9e9afe9-4712-486d-8885-f54b72dd1951>Authored on May 9 2018, 2:15 PM
Gerrit Code Review <gerrit@wikimedia.org>Committed on May 9 2018, 2:15 PM
ChangeId
None

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rEWLE4b35bae05562: Create patch set 3 (authored by Jakob <1786@e9e9afe9-4712-486d-8885-f54b72dd1951>).May 9 2018, 2:15 PM

Empty Commit

This commit is empty and does not affect any paths.