--
You received this message because you are subscribed to a topic in the Google Groups "Jenkins Developers" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/jenkinsci-dev/UGh5JSGvawc/unsubscribe.
To unsubscribe from this group and all its topics, send an email to jenkinsci-de...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/e074008a-5c5a-4be3-86d2-553ff09540c5%40googlegroups.com.
Hi,
my jira id is slorenz and github id is sisao.
I'll be afk for the next 10 days so the merge and a new plugin release have to wait a few more days :-)
Greetings,
Stefan
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/607f1074-addb-43e5-bda4-580fbe83629e%40googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/5ea32f3b-748a-44d1-921e-f5aadeb22827%40googlegroups.com.