Merge branch 'develop'

This commit is contained in:
Michael Mandl 2018-11-21 18:15:39 +01:00
commit 4c7285a64a

View file

@ -5,4 +5,4 @@ protobuf/3.6.1@bincrafters/stable
cmake cmake
[options] [options]
protobuf:shared=True protobuf:shared=False