* Revert "Hot revert (#403)" This reverts commit 65283e1c44. * hotfix
65283e1c44
* Revert "add: notification upon head arrival (#402)" This reverts commit a87b5295bc. * Revert "Constr. graph 2 recipes fix (#401)" This reverts commit 5832144695.
a87b5295bc
5832144695