Skip to content
Snippets Groups Projects
Commit 3708ad37 authored by Ralf Jung's avatar Ralf Jung
Browse files

Merge branch 'master' into 'master'

docs: fix bug in ghost resource laws

I think the current rule if buggy; the validity of a ghost resource `a` should not imply its ownership.

Please advise me if I understand incorrectly :-)  Thank you!
Jeehoon

See merge request !5
parents 5067c640 42624c94
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment