Document the required GCC/G++ version as >= 5.0#2349
Merged
tautschnig merged 1 commit intodiffblue:developfrom Jun 12, 2018
Merged
Document the required GCC/G++ version as >= 5.0#2349tautschnig merged 1 commit intodiffblue:developfrom
tautschnig merged 1 commit intodiffblue:developfrom
