Dear ARTS friends,there is an ARTS meeting in the calendar today. However, should we perhaps skip it? My reason is egoistic, I have a too full todo list for today. Also, Oliver is on vacation, so we would be a bit reduced anyhow.
Best wishes, Stefan _______________________________________________ arts_dev.mi mailing list arts_dev.mi@lists.uni-hamburg.de https://mailman.rrz.uni-hamburg.de/mailman/listinfo/arts_dev.mi