This project is archived. Its data is
read-only
.
This project is
read-only
.
WIP: Removed element.normal_name. (
#288
)
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
WIP: Removed element.normal_name. (#288)
finn
requested to merge
kill_element_normal_name
into
master
May 14, 2018
Overview
2
Commits
1
Pipelines
1
Changes
7
This fixes issue
#288 (closed)
.
Edited
May 14, 2018
by
finn
Merge request reports
Loading