[opendx-users] Which Redhat binary do I use?

[Rosenberg]

The download section of opendx.org shows that binaries for OpenDX 4.2.0 
are available for Redhat 7.1 and 7.3.  I am running Redhat 7.2 Which 
version will run with Redhat 7.2?