To be 7.1.3 or not to be 7.1.3?

Hi guys,

Just wondering if we are going to release a version 7.1.3 or not?

Regards and best wishes,

Justin Clift

-- 
"My grandfather once told me that there are two kinds of people: those
who work and those who take the credit. He told me to try to be in the
first group; there was less competition there."  - Indira Gandhi