[Development] RHEL 7.2 added to Coin

[Frederik Gladhorn]

On mandag 27. juni 2016 14.30.48 CEST Frederik Gladhorn wrote:
> Hi all,
> 
> good news when it comes to packaging on Linux, we added red hat 7.2 as the
> new packaging config for the dev branch - Qt 5.8 that is. We'll also run it
> as developer build with the 5.7 branch. I'll flip the switch to actually
> run it in a few minutes.

... and temporarily reverted again, not sure what is wrong with the VM, but it 
didn't start reliably. I'll try re-enabling this in a bit...

Frederik