Resolve "generalize number of tips" (!9) · Merge requests · vaw / public / pdp-sim · GitLab

To receive notifications about scheduled maintenance, please subscribe to the mailing-list gitlab-operations@sympa.ethz.ch. You can subscribe to the mailing-list at https://sympa.ethz.ch

David F. Vetsch requested to merge 7-generalize-number-of-tips into master Sep 28, 2021

Closes #7 (closed)