[BuildTools-tickets] [BuildTools] #97: CoinAll-latest-release.txt does not update

[BuildTools]

#97: CoinAll-latest-release.txt does not update
-------------------+-----------------------------
Reporter:  stefan  |       Owner:  ladanyi
    Type:  defect  |      Status:  closed
Priority:  major   |   Component:  server scripts
 Version:  0.7     |  Resolution:  migrated
Keywords:          |
-------------------+-----------------------------
Changes (by stefan):

 * status:  new => closed
 * resolution:   => migrated


Comment:

 Ticket has been migrated to !GitHub and will be resolved there:
 https://github.com/coin-or-tools/BuildTools/issues/97

--
Ticket URL: <https://projects.coin-or.org/BuildTools/ticket/97#comment:1>
BuildTools <http://projects.coin-or.org/BuildTools>
Tools for configuring and compiling COIN-OR codes