Hi!
Am 24.04.2020 15:27, schrieb Jérémy Zurcher:
what do we do then ?
I propose to :
- revert merge of #PR846
- reset --hard ac713f14
- merge #PR846
I'll push branches jeyzu-xsd / jeyzu-xdg / jeyzu-dsysata
There is the possibility that someone has already pulled from master, so
the "reset --hard" would cause problems for those. "git revert" should
be better in this case. In addition, the commits "in between" might be
kept (like the "cleanup" of my drumkit test case).
Best regards,
Sebastian
_______________________________________________
Hydrogen-devel mailing list
Hydrogen-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hydrogen-devel
