dhobsd/vstring — pull request #2 by jhatala (2014-02-05 09:37:05+00:00)
Title: add function vs_pushdouble

This is a reminder to myself to port vs_pushdouble (and whatever other divergence we have) from the private repo.