Yes we should do that. I was not doing it the other day since I am away and not able to fix all other packages that depend on it (e.g. sparse_matrix and optimizer). If you have time, it would be great to rename package and repository. (github automatically forwards to the new name, so issues caused by renaming is usually nothing to worry about).
Yes we should do that. I was not doing it the other day since I am away and not able to fix all other packages that depend on it (e.g. sparse_matrix and optimizer). If you have time, it would be great to rename package and repository. (github automatically forwards to the new name, so issues caused by renaming is usually nothing to worry about).