ticket,summary,type,release,owner,status,created,modified,_description,_reporter
2857,[PATCH] How can i change the position of the menu?,enhancement,0.10,,new,2008-04-04T10:01:20+02:00,2020-05-06T01:57:57+02:00,"Can I change the project menu place, because it is not good in many themes?
Thanks.",roman.doroschevici@…
1489,Get base url from environment,enhancement,0.10,,new,2007-04-26T08:54:37+02:00,2020-05-06T01:57:57+02:00,"Maybe it is better to get the base url from `env`:
{{{
#base_url, _ = posixpath.split(req.abs_href())
base_url = self.env.base_url
}}}

With this the plugin works in my setup.",mtessmer@…