| Sun, 17 May 2020 20:20:41 -0400 | Da Risk | Change root project name to avoid clash with geekdroid submodule | changeset | files |
| Mon, 11 May 2020 16:30:09 -0400 | Da Risk | More license headers | changeset | files |
| Sun, 10 May 2020 21:25:19 -0400 | Da Risk | Avdl: define ordering between projects | changeset | files |
| Sun, 10 May 2020 03:53:45 -0400 | Da Risk | build: also allow instrumentation tests on Java 11 | changeset | files |