On 8/11/20 11:04 AM, Jan Hubicka wrote:
Looks good to me. Perhaps it would be more systematic to add them to the remaining propagators as well - bugs tends to pop up from time to time related to those.
Works for me. @Martin: Can you please add them? Thanks, Martin
