| branch | dev-dc |
| changeset 857 | 67e46871cb2a |
| parent 777 | 372213b905bc |
| child 875 | 9e2750b671da |
--- a/.hgtags Mon Jun 25 17:26:50 2018 +0200 +++ b/.hgtags Tue Jul 17 15:09:38 2018 +0200 @@ -18,3 +18,5 @@ 95026785904d443509d93895ddf761b7967d9d46 0.1.14 95026785904d443509d93895ddf761b7967d9d46 0.1.14 1978e4dad1d8f950411807ed2df23fd030a39b60 0.1.14 +fc8fe2dede6309db4a8cfc5b53eb894cca2f6970 0.1.15 +9cc7207c1399658ef821a1ecdde86df0b5a1298d 0.1.15.1