2017-09-21 23:33:01 +00:00
|
|
|
homepage: "http://www.boost.org/"
|
|
|
|
|
|
2017-09-28 07:26:55 +00:00
|
|
|
# TODO: add more boost maintainers here and possibly a mailing list.
|
|
|
|
|
# primary_contact: "someone@boost.org"
|
|
|
|
|
auto_ccs:
|
|
|
|
|
- "jz.maddock@googlemail.com"
|
|
|
|
|
# - "someone-else@boost.org"
|
