ghItlhpu' Daimrod <daim...@gmail.com>: >> My question is now: is this correct, or did I understand something >> wrong? If my understanding is correct, how this bug be fixed more >> elegantly? > > It doesn't work at startup when agenda hasn't been built yet. The > following patch does seem to fix that. If it's ok, I can push it.
It works for me. Thanks! Daniel -- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Dr. rer. nat. Daniel Borchmann Postdoctoral Research Associate Technische Universität Dresden Fakultät Informatik Institut für Theoretische Informatik Lehrstuhl für Automatentheorie 01062 Dresden Tel.: +49 351 463-34059 E-Mail: daniel.borchm...@tu-dresden.de ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
signature.asc
Description: PGP signature
