[releng] Update Sirius to 5.1.2-S20180518-120822

Change-Id: I5b4bcdea5738054ba2b438f8a1a63adeb38fbf99
Signed-off-by: Philippe DUL <philippe.dul@thalesgroup.com>
2 files changed
tree: 5f1a4a08b0e4bd0bc09089f8a58f7b9777e0bc1c
  1. features/
  2. plugins/
  3. releng/
  4. tests/
  5. .gitignore