Back to bug 197402
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| beyert | 2015-02-08 04:44:08 UTC | CC | beyert | |
| koobs | 2015-02-16 05:14:04 UTC | Keywords | easy | |
| Summary | math/isabelle: drop maintainership | [MAINTAINER] math/isabelle: Reset MAINTAINER | ||
| arved | 2015-02-20 15:43:05 UTC | Status | New | Closed |
| Resolution | --- | FIXED | ||
| CC | arved |
Back to bug 197402