]> git.donarmstrong.com Git - neurodebian.git/commitdiff
Merge tag 'vm-7.2.0'
authorYaroslav Halchenko <debian@onerussian.com>
Mon, 4 Nov 2013 14:07:20 +0000 (09:07 -0500)
committerYaroslav Halchenko <debian@onerussian.com>
Mon, 4 Nov 2013 14:07:20 +0000 (09:07 -0500)
uploaded 7.2.0 now

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


Trivial merge