diff options
| author | Boud Roukema <boud@cosmo.torun.pl> | 2020-05-23 17:31:48 +0200 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-05-23 23:22:21 +0100 |
| commit | b1c69a400a677c2595bc6738ab4d6c9b28aedc71 (patch) | |
| tree | ac4e09a564ce422b84a8a43ab1ab32578af5476a /reproduce | |
| parent | df7180c1e4baceaa33baa00efc04eb42ecdfae84 (diff) | |
Cherry-pick 7bf5fcd to make merging easier
This series of commits aims to edit sections II+III,
but first implements the changes from 7bf5fcd, apart
from one that conflicts in the abstract: this commit
has ``Maneage'' without `(managing+lineage)` in the
abstract.
Diffstat (limited to 'reproduce')
0 files changed, 0 insertions, 0 deletions