]>
2019-06-22 | bors | Auto merge of #784 - RalfJung:ci, r=RalfJung |
commit | commitdiff | tree |
2019-06-21 | bors | Auto merge of #782 - RalfJung:generator, r=RalfJung |
commit | commitdiff | tree |
2019-06-21 | bors | Auto merge of #780 - RalfJung:ci, r=RalfJung adapt CI for bors ...and run that plus AppVeyor in bors. |
commit | commitdiff | tree |