This repository has been archived by the owner on Jul 19, 2023. It is now read-only.

Cannot rename the current MPI #10

Closed

keisukefukuda opened this issue May 26, 2017 · 0 comments

Labels

bug

Milestone

Owner

keisukefukuda commented May 26, 2017

No description provided.

keisukefukuda added the bug label

keisukefukuda modified the milestone: 1.0

keisukefukuda changed the title ~~"cannot rename current shell"~~ Cannot rename the current MPI

keisukefukuda mentioned this issue

fix-10-cannot-rename-current-mpi #74

Merged

keisukefukuda closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.