Closed sebescudie closed 3 years ago
So that one can directly open a patch in the desired configuration if gamma is not open yet
Closed by ec4c68f88a5fff09d2c8d2fb792d6a1357a47273 and 02d87d071a421480a383914eed51937647eb59ab
So that one can directly open a patch in the desired configuration if gamma is not open yet