tree 96ff85ef1fb61cfa5fdd4c515f6bd4b41e5050a3
parent f968c1a4f51b1e57f1f613055332b3bf63f5864e
author Pietro Albini <pietro@pietroalbini.org> 1567585283 +0200
committer Pietro Albini <pietro@pietroalbini.org> 1568644310 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iQIzBAABCgAdFiEE1JbYPtLJAsc22U9xPgar6Auq8ZwFAl1/nNYACgkQPgar6Auq
 8ZwUCxAAtuqtr7rozkZacTn7X2CqBy0q1coSlVz7/3aL3H7bPSVKVMpysQXS4LAK
 G/llxU1LcF3ILaeJhyVS2VQA83GhzRWsriAWP+xMHg0E5K56CsHFyRyeLjXl+B/F
 PtePV+uc+u3VEndIoJusAIGnioyPvKgzJRrSGecnoTi9UGn+0EVqaR/iwE+GrDpP
 pdgfZJOJgTeRC2B7KMI9w/dAvMOCZk/kn+ramqG8jer0R4pFLOPpdTak/svYue03
 Mefsbh+sx+TWz61n4M7VthN8mVfpcrZoofAzJMcK8y76NfU9f6BDxHF4cPAgsbtU
 GQ+u4LBeD/7D3GrU+ynrRHwBTGeziY29IhjFOxFaJt1+ka+2+ydQN3KTN/z4N5Uz
 SGIozX9y1aHlvhstiAEkxslFEi7vVNRKQ1uLVY3otNXiU0KQbV8JdUAFDB5pdwni
 PAgHGZ3kdISLJyBqP9cnN2vuw0MBg3aDE5swzvEhCHeybdN1Mi+5TkfCacIduZOh
 a3VTIn2ey8HE2XWjr5e5mSdfQJLGQOIMnFNQCemEo06a2CznNQGQscE6wUV5KhST
 O3DtQJgWMGAH/7rqB47ZR2CFlGXGHvlPW5ZxX3RzhcBD9pg6exytLA4Ah6MadbDn
 V2klCIkrE23hkkfrgx/bCb52C0QGNhZVfBepIAu5l85mlXScrh8=
 =g2Za
 -----END PGP SIGNATURE-----

ci: convert maintainer list in publish_toolstate to a set