From: Yaroslav Halchenko <debian@onerussian.com>
Date: Mon, 4 Nov 2013 14:07:20 +0000 (-0500)
Subject: Merge tag 'vm-7.2.0'
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=ef9c772594b08caa667db6faa7a7f1ef23e11479;p=neurodebian.git

Merge tag 'vm-7.2.0'

uploaded 7.2.0 now

* tag 'vm-7.2.0':
  Boost VM version to 7.2.0
---

ef9c772594b08caa667db6faa7a7f1ef23e11479