Several minor changes

Authored by asensi on Aug 17 2018, 1:27 PM.

Description

Several minor changes

Several minor changes were made (e.g. in the ChangeLog file a line was removed because its related bug had later a final fix).

(cherry picked from commit 382462097eaf0d9f6c0e143f67e19fb848295711)

Details

Committed
asensiAug 17 2018, 4:18 PM
Parents
R167:db4bed8ab65d: Version bump: 2.7.2-dev
Branches
Unknown
Tags
Unknown