HomePhorge

Merge branch 'master' into CrossRel-Conf

Referenced Files
None
Subscribers
None

Description

Merge branch 'master' into CrossRel-Conf

Details

Provenance
Dávid JuhászAuthored on Aug 26 2019, 7:43 AM
juhaszPushed on Aug 26 2019, 8:41 AM
Parents
R20:522326629ca7: Fix some issues
R20:9c74792e6274: Documented it a bit handled the error and made it into an Abstraction
Branches
Unknown
Tags
Unknown

Event Timeline

Dávid Juhász <juhasz.david.scholar@gmail.com> committed R20:cdf6bb6c5c2e: Merge branch 'master' into CrossRel-Conf (authored by Dávid Juhász <juhasz.david.scholar@gmail.com>).Aug 26 2019, 7:43 AM

Merged Changes

This commit merges a very large number of changes. Only the first 50 are shown.