search

openETCS / model-evaluation

part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
13 stars 20 forks source link

Committer validation / MERCEbardot #64

Closed mahlmann closed 10 years ago

mahlmann commented 10 years ago

Dear @MERCEbardot

you are currently committer of the model-evaluation repository. However, you have not been active in this repository for a longer period of time. Please let me know if you expect to commit in the future. If this is not the case you will be removed from the group of committers.

MERCEbardot commented 10 years ago

Hello,

I am still working on the model evaluation task, so I will probably commit again in the future.

Thomas Bardot

De : Peter Mahlmann [mailto:notifications@github.com] Envoyé : mardi 11 février 2014 15:46 À : openETCS/model-evaluation Cc : Thomas Bardot Objet : [model-evaluation] Committer validation / MERCEbardot (#64)

Dear @MERCEbardothttps://github.com/MERCEbardot

you are currently committer of the model-evaluation repository. However, you have not been active in this repository for a longer period of time. Please let me know if you expect to commit in the future. If this is not the case you will be removed from the group of committers.

— Reply to this email directly or view it on GitHubhttps://github.com/openETCS/model-evaluation/issues/64.

mahlmann commented 10 years ago

Thank you, Thomas!