Closed elibarzilay closed 4 years ago
Mostly simple rephrasings, no semantic changes. If anything is bad or questionable I will just drop it.
Ugh, sorry about merging this without reviews; getting used to the GH interface.
Mostly simple rephrasings, no semantic changes. If anything is bad or questionable I will just drop it.