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

Fixes multiple repository issue. #74

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

Conversation

sjincho
Copy link

@sjincho sjincho commented Nov 20, 2017

The Repository instances are identified by id field, thus creating a set
of Repository instances w/o id (id = null) will cause the set to contain
only the first instance.

The Repository instances are identified by id field, thus creating a set
of Repository instances w/o id (id = null) will cause the set to contain
only the first instance.
@bazel-io
Copy link
Member

Can one of the admins verify this patch?

@nevillelyh nevillelyh mentioned this pull request Dec 8, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants