README.maint

   1 Maintainer's procedures
   2 =======================
   3
   4 Updating ChangeLog
   5 ------------------
   6
   7 git log --pretty --numstat --summary v1.4.0..savannah/master | git2cl > ChangeLog
   8
   9 Profiling
  10 ---------
  11
  12 Build with "-g -pg -fprofile-arcs -ftest-coverage"