소스 검색

bump build server

Simon Krajewski 11 년 전
부모
커밋
996724f135
1개의 변경된 파일1개의 추가작업 그리고 1개의 파일을 삭제
  1. 1 1
      extra/release-checklist.txt

+ 1 - 1
extra/release-checklist.txt

@@ -1,4 +1,4 @@
-- Make sure CHANGES.txt has a proper date set.
+- Make sure CHANGES.txt has a proper date set!
 - Make sure `version` in main.ml has the correct value.
 - Merge development branch into master.
 - Wait for Travis to greenlight master.