From 6648b21c7685051db993587b323bd31dfa6b9b68 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 13 May 2019 10:47:11 +0200
Subject: [PATCH] [release] update authors + opam version number
---
opam/opam | 6 ++++--
src/plugins/gui/help_manager.ml | 2 ++
2 files changed, 6 insertions(+), 2 deletions(-)
diff --git a/opam/opam b/opam/opam
index bda948e9199..6d397bf21e3 100644
--- a/opam/opam
+++ b/opam/opam
@@ -1,7 +1,7 @@
opam-version: "2.0"
name: "frama-c"
synopsis: "Platform dedicated to the analysis of source code written in C"
-version: "18.0"
+version: "19.0.beta1"
maintainer: "francois.bobot@cea.fr"
authors: [
"Michele Alberti"
@@ -28,6 +28,7 @@ authors: [
"David Maison"
"Claude Marché"
"André Maroneze"
+ "Thibault Martin"
"Melody Méaulle"
"Benjamin Monate"
"Yannick Moy"
@@ -36,6 +37,7 @@ authors: [
"Guillaume Petiot"
"Virgile Prevosto"
"Armand Puccetti"
+ "Virgile Robles"
"Muriel Roger"
"Julien Signoles"
"Kostyantyn Vorobyov"
@@ -44,7 +46,7 @@ authors: [
homepage: "http://frama-c.com/"
license: "GNU Lesser General Public License version 2.1"
dev-repo: "git+https://github.com/Frama-C/Frama-C-snapshot.git#latest"
-doc: "http://frama-c.com/download/user-manual-18.0-Argon.pdf"
+doc: "http://frama-c.com/download/user-manual-19.0-Potassium.pdf"
bug-reports: "https://bts.frama-c.com/"
tags: [
"deductive"
diff --git a/src/plugins/gui/help_manager.ml b/src/plugins/gui/help_manager.ml
index 055d3b33c18..9c7a1deca88 100644
--- a/src/plugins/gui/help_manager.ml
+++ b/src/plugins/gui/help_manager.ml
@@ -46,6 +46,7 @@ let show main_ui =
"David Maison";
"Claude Marché";
"André Maroneze";
+ "Thibault Martin";
"Melody Méaulle";
"Benjamin Monate";
"Yannick Moy";
@@ -54,6 +55,7 @@ let show main_ui =
"Guillaume Petiot";
"Virgile Prevosto";
"Armand Puccetti";
+ "Virgile Robles";
"Muriel Roger";
"Julien Signoles";
"Kostyantyn Vorobyov";
--
GitLab