actor: streamline cross source directory usage

With 2.12 and 2.13 being the last releases of the 2.x series, it's hard
to say if we currently still need the 2.13+/- directories. For now it seems
more explicit to use simple 2.12/2.13 directories.
This commit is contained in:
Johannes Rudolph 2020-04-06 14:26:34 +02:00
parent f07eb416d6
commit f595f2bc86
No known key found for this signature in database
GPG key ID: 52AF1C9ABD77E6E5
10 changed files with 0 additions and 0 deletions