[bob-devel] Seems to want a bob-devel update as well...

conda/bob-devel/meta.yaml

@@ -2,7 +2,7 @@
 {% set nopin = ['ca-certificates', 'certifi', 'openssl', 'libstdcxx-ng', 'libgcc-ng', 'libcxx', 'libcxxabi'] %}
 package:
   name: bob-devel
-  version: 2018.12.11
+  version: 2018.12.12
 # please update the version of beat-devel and update bob-devel's version there
 # as well in the same merge request.