HomeGitPull.it

Merge updates

This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Description

Merge updates

Details

Provenance
fabio.mazzaAuthored on Dec 12 2020, 23:12
fabio.mazzaPushed on Dec 13 2020, 18:12
Parents
R4:a0720d2e767e: Fix double underscore appearing in the passages
R4:431b90254f46: Fix stupid bug in location permission
Branches
Unknown
Tags
Unknown
Build Status
Buildable 165
Build 217: BusTO Build Plan

Merged Changes