Changeset: ef3d8bab7222 for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=ef3d8bab7222 Modified Files: .hgtags Branch: Jul2017 Log Message:
Setting tags Jul2017_13 and Jul2017_SP4 for the release build. diffs (9 lines): diff --git a/.hgtags b/.hgtags --- a/.hgtags +++ b/.hgtags @@ -687,3 +687,5 @@ fce449d5af88de715fde36624815a56ef34c56bb 3d26c58579a18157659b590899a8f73f45954ec6 Jul2017_SP2_release b9276cb02ced7d98bcb27b5e6df600b2791f1fcd Jul2017_11 b9276cb02ced7d98bcb27b5e6df600b2791f1fcd Jul2017_SP3_release +4fd4a5c7b66747468a2b41930d1b987a4b0efff4 Jul2017_13 +4fd4a5c7b66747468a2b41930d1b987a4b0efff4 Jul2017_SP4_release _______________________________________________ checkin-list mailing list checkin-list@monetdb.org https://www.monetdb.org/mailman/listinfo/checkin-list
