Merge branch 'wenaus' into devel
Merging https://github.com/PanDAWMS/panda-bigmon-core/pull/7 from wenaus to devel.
Merge branch 'devel' into wenaus