# HG changeset patch # User Jenkins Build Manager # Date 1593551396 -3600 # Node ID dbfc0b20f3a9c7fa3c38ab1add0f4ba351825e78 # Parent 9bce84b2314e1115937090fc985702b1bf4630a1 Added tag build-default-380 for changeset 9bce84b2314e diff -r 9bce84b2314e -r dbfc0b20f3a9 .hgtags --- a/.hgtags Tue Jun 30 20:25:32 2020 +0100 +++ b/.hgtags Tue Jun 30 22:09:56 2020 +0100 @@ -207,3 +207,4 @@ 41f73f8bfd2cad1e091986d8d988bb52cceebddf build-default-377 4cfee227da93d4f9cd893d046342ecdba1cb3d9b build-default-378 2b0db0cde60d63b74b04c0994855a0118e09d41d build-default-379 +9bce84b2314e1115937090fc985702b1bf4630a1 build-default-380