Commit 7170e35096f0afd084be1350d080695c70c65d40

Ebrahim Byagowi 2018-10-29T13:11:01

Rename deprecated symbols list file name and clean it up (#1328)