"doc/git@i10git.cs.fau.de:jbadwaik/pystencils.git" did not exist on "cd0949ab81af6246e2792f64b88958afe4d4cffe"
For developing purposes it is useful to have a cache-clearing function
added feature label
requested review from @ob28imeq
assigned to @holzer
mentioned in commit e18aa374
merged