[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: DM application of Hendrik Tews



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Le 23/10/2013 21:59, Hendrik Tews a écrit :
> this is my declaration of intent to become a Debian Maintainer 
> <URL:http://wiki.debian.org/DebianMaintainer>. I have read the 
> Social Contract, Debian Free Software Guidelines and Debian Machine
> Usage Policy and agree with all of them.
> 
> Currently, I maintain the packages hol-light, otags, prooftree and
> proofgeneral. I co-maintain several OCaml packages, among them
> oasis and ounit.
> 
> My GnuPG key EDCAEE68 is signed by the Debian Developers Stéphane 
> Glondu, Lucas Nussbaum and Daniel Leidert. I look forward to 
> becoming a Debian Maintainer. Thanks for your attention.

Hendrik is skilful and has been very helpful in the Debian OCaml Team.
I support his application.

Cheers,

- -- 
Stéphane
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)
Comment: Using GnuPG with Icedove - http://www.enigmail.net/

iQIcBAEBCgAGBQJSa+wmAAoJEHhT2k1JiBrT5hYP/iX4pfg4JZL1zvb8QlfxxAhu
JQxHm7DcMcEmf3gfDv7IG1tkMfz3tNgn55uKFEQ5hjGxjx94KwpFoFl6lCbwemkk
s6Vw869MYvGQssAL6MtQDQpqnFAp6ULnN01Z51w45Wkn9FVDJQbpQWFTFmHVfIdW
QwE/W1qiBY5hvXnqvFMHu2XGzxKMknmjlIh5UQxxfJ+OKsS84YT9QBFpF0rdbx0p
laTFgr712sA3k5o/7mkta5ysQAKoaWyRJxlgFb9Mk6Xki3fTapjJyv6/zjPTFYx+
jIg+3Ll4+93KOm1V8JPmfR6BdPAfySYC117HtWd1Z/RZv7oKpHbCU3smuoUBP2Lx
stAP8UHLAhZ1Za7MyEzwbGp3/dyjuuXdH/yn9M6SXe5etzI1WPvxTbp/BYwSazgJ
sbnDfLVt/M/AGZFNmU9GcbCDf+jLUmz6IRRZ/UZuQpFpx9bEEZUCo68rHpPj/kig
skABohjbux6HCDoPD2Ve3eyyGj6t0tZBLvpbyOyNtFYESVrhSMuVBhI8MSQdgSd6
Ix5QwlwF2TYhdZ2Cfj/gvEFJFt6sIAOXUzpZPgfF1838aelk9XxeYWFYeOAskcRX
K7nl+liM4bqN50fecKoGaKpUA4ekWVshDf/GuwzwPcoqFvHft2q4iLNgLrRNJ092
NNKcKlYucDEVTpuEK4vR
=7vwR
-----END PGP SIGNATURE-----


Reply to: