Merge branch 'upstream'
commita7e88f5417d0c0b87c9b8f4a8aa87102741e7967
authorygrek <ygrek@autistici.org>
Tue, 11 Mar 2014 07:54:16 +0000 (11 15:54 +0800)
committerygrek <ygrek@autistici.org>
Tue, 11 Mar 2014 07:58:46 +0000 (11 15:58 +0800)
tree4d0e32f3f19ca5b2e47adebc5c3fe5c00bea5f83
parenta9cee752df4d83a9ea4e4b415297aa2a2d02b0eb
parent12025a3fa30ba7a92485e89e48f9012779b70bdf
Merge branch 'upstream'

* upstream: (35 commits)
  release-3-1-4
  patch #8388
  patch #8352
  patch #8351
  patch #8350
  patch #8336
  patch #8335
  patch #8334
  patch #8333
  patch #8332
  patch #8331
  patch #8330
  patch #8329
  patch #8328
  patch #8327
  patch #8326
  patch #8325
  patch #8324
  patch #8323
  patch #7916
  ...

Conflicts:
src/daemon/driver/driverCommands.ml