Age | Commit message (Collapse) | Author |
|
As part of the merge, fix some typos, adjust copyright headers, and apply a few
more minor changes.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
we don't have the issue without it any more, and it actually seems to pose other problems
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Conflicts:
open_issues/profiling.mdwn
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This reverts commit b3a79b3c911871d9c678e3b621ebbce72f7cafbf.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|