Vagrant boxes for 9.5.0

[Carlos Rodrigues]

Hi there,

Is there any reason for the "debian/stretch64" 9.4.0 boxes to remain
tagged as the currently released version even though 9.5.0 has been
there for a month?

Best regards,

-- 
Carlos Rodrigues