Commit 65db4ffb3adb537c4258731721f250ee99b9d13c

Stefan Sperling 2020-02-24T21:22:56

document that 'got integrate' cannot be used during a histedit operation